Yup. Now we have new hoses, got the machine checked with a "Well, washers have these one-off malfunctions every now and then, it's pretty common" from the maintenance guy who couldn't find anything wrong--but should soon have a nifty automatic leak detector/shutoff system. If it works worth anything, I'll post details...

How was your trip?