Replaced tub seal gasket. Followed video closely (Thanks!). All was fine until reaching the tub nut which simply could not be removed with the tools available (including the suggested spanner wrench). Ordered a replacement for the nut and drilled holes in the frozen one until I could break it. It was then easy to remove the spin basket and get to the (rather obviously degraded) tub gasket. Replaced that and rebuilt the washer (using the video again). Was testing when I realized the lid switch was missing. I think the video omitted that detail on the reassembly! Removing the front panel allowed me to remedy that. Roughly $50 in parts/tools and all of my spare time over several days. Washer seems to be working fine after 6 loads.