I'm just curious how the beer turned out? I just had the exact same thing happen to me and ended up with 2.5 gallons of water leaking into my kettle before I realized what was happening. I brought the wort back to boil and boiled for an additional 2 hours to get back down to 5 gallons.