Call a professional water damage guy when it happens.  Most companies are open 24/7 when it comes to this situation.  Let’s face a pipe could burst in the middle of the night and flood your whole basement…you just never know!