Yeah, they pumped it dry to inspect it. The water is flowing into the
tank--we flushed a toilet and watched; so no extra lines or anything
like that.

The issue I have with using the dye is that there is no wetness around
the tank to begin with. If there's a leak, it's small/slow and it's
not showing up at the surface. Would dye still be helpful in that case?