Thanks for the advice. I don't know when the belt was last serviced. I bought the car last fall with about 45,000 miles on it from a dealer as a CPO. I have only had it serviced at the dealer, including the 60,000 miles service. My guess is that at the 90,000 mile serve the belts will be replaced. I suspect you're correct though, becasue it only happened during torrential rains going through rather deep puddles, and has not happened before or since. Thanks again.