Now we just lay a concrete slab, clean the house, and we're back to the hot tub being as simple to fix as I thought it would be when I bought the house. Maybe.
But hey, my house will now have a nice modern 200-amp electrical system instead of the 1955 roughly-standard one I got it with. And the electricians seem orderly and competent, which is a fine change from the last group of contractors.