Wow, they were watching out for your games! I've had two of those damn flexi cable bust - both times in our ensuite, and both times we were home fortunately (one time we were just about to leave for a weekend away!)
The insurance guy said those Flexi pipes are the most common cause of floods. They should be banned I reason they are just rubber in the middle. I checked out all the others in the house and a couple look suss I plan on getting a plumber to switch them all over to copper tails.