Great to hear it worked!
On that leak, how can water leak into the tank? I have to pump water into head manually with open seacock valve. Is your setup different? I can assume though, if the head valve is faulty, it could allow water to come into toilet, but even then, you have to pump from...