Fortunately you'll never have this problem again because you'll be replacing your washer every 7-8 years now.
Only if you don't try to fix them! I tore mine apart... hey, about 8 years after I got it... and replaced the assembly at the bottom that decides whether the tub freewheels or everything spins. Total cost: Maybe $140 in parts and tools, 4-5 beers, a few hours (not helped by the beers), and whatever electricity I spent streaming The Longest Day and In Harm's Way to my phone (also didn't help the time).
Must be a baby boomer thing. Us millennials don't expect everyone else to clean up after us.