Found a tiny leak in the pool, under water obviously, but my husband thinks he saw something somewhere that this can be fixed without draining the dang thing. Any experts familiar with this? We're confident we can fix it, if it seriously can be done. TIA!