I already suspected the heater core, because there aren't any other logical reasons for water to get into the car. But, what had me baffled was that it only leaked the one time, just after the new engine's first start-up. Also, this was a new heater core. We have run the car many times since...