To fix it, I looked up the model and described the problem on the internet. There was a video describing exactly my issue. I ordered the part and fixed the problem in under 10 minutes.
The part was a bit expensive but still cheaper than buying a new washer. Hopefully, I’ll get a couple more years out of this one. I’m going on 20 years. You can’t beat the old machines