Had my Model 3 LR battery replaced last week after it bricked itself the weekend prior at a Supercharger. Upon leaving the service center with the replaced battery I started getting the "Coolant Low - Ok to Drive" error. It lasted only a couple minutes and then went away and only resurfaces every other day for a couple minutes or so. My assumption is that when they replaced the battery they didn't top up the coolant. Did anyone have a similar experience after having their battery replaced? Really trying to avoid going to the Service Center as they are a pain to deal with but obviously will visit if needed.