Thanks, everybody, for all of the replies so far!
Good to know that our 1992 washer is old enough to be "vintage"!
Strictlybojack, the first picture you reference (in reply #2) is one that I don't recognize, either, although I've contacted the owner about the washer. I couldn't quite figure...