Holy shit! Looks like I'm nit the only lucky one, although your adventure is costing you money. My plumber didn't want any money, and imagine he came back yesterday as one pipe was wet still, so he needs to replace a piece of pipe after the holidays.
I guess luck does exist and sone of us get lucky from time to time. I'm glad no major damage was done.
Happy holidays to you too. Let me know about the bill though 😬
Cheers, you certainly were lucky, repairs for free! I guess my email will ping at the start of the working week , wonderful!