Sure doesn't help the owner of the flooded RV but all these water lines in RV's are just plastic tubing with tiny crimps holding them together. They sure are not your water pipes like in your stick and built homes!
Add the fact that if you don't have a water pressure regulator in line the insane pressure that some of these wells pump out at CG's you're looking for an accident to happen.
x2 I shut off water at spigot every time I leave the RV unattended. I seen my share of waterfalls coming out the sides of RV's at CG's from the seasonal RV'er who leaves their water connection on when they are not there. :(
Even after the clean up of this RV have them buy a small dehumidifer from a local box store. They will be mildly surprised just how much moisture is still in the RV as the dehumidifier continues to suck it out.