Chris, I'd check the HV battery air filter on the back left side of the cargo area. Check to see if it is wet. If so take the car to a dealer and have the battery compartment checked for water. If the batteries were to get wet and corrode somewhere down the line it could be dangerous. I believe that the battery compatment is sealed except perhaps through the vent system. I may be wrong but since you had spray as high as the antenna it may also been high enough to have been sucked into the vent.