Was the entire belt and assemble completely wet? Was there any water on the floorboard?
Was any of the driver side windows open? Have him check the driver door seal carefully...especially near the top of the door. He might even have to pull it away from the body to check. Look fer holes in the seams or seal.
