He thought it would be funny and had no idea of the damage and the time I had to spend under the house in the crawl space.
In the end it turned out OK, but was a lot of work to vacuum the water and then put on two huge dehumidifiers rented from Home Depot ($350).