Given your sensitivity to contaminants, you might want to tear it down and give the tub, drum, and hoses a thorough cleaning. It's also a good opportunity to check the spider, seal, and bearings for wear, rust, and cracks.

You don't really need the ridiculously expensive spring tool. I hear zip ties and an extra pair of hands are adequate to pull apart the spring. Or just use a screwdriver (carefully) to pry on/off the clamp. Maybe a bicycle tire tool would work here?

I have that same washer. I bought it used and (stupidly) ignored the musty smell in the original owner's garage. I don't think they did a single thing to keep the machine clean. Turns out it was FULL of muck. I ran a tub clean cycle, and it dislodged so much crap the tub-to-pump hose completely clogged up. Fortunately the machine runs fine, but I intend to do a complete tear-down and rebuild with new boot, tub-to-pump hose, spider, bearings, and seals. I will also be going over every internal surface with rags, brushes, and disinfectant.

These are great machines, but they do require some TLC on occasion. Let us know how yours goes, if you decide to have at it.