Not sure. I bring it up because my garage door broke and I couldn't close it (not even manually) and my laundry room / basement bathroom pipe burst. Not a fun experience.
oh man, that's brutal—burst pipes are no joke. did you end up getting it all fixed, or is that still an ongoing thing?