Hoptpoint must have been making washers for JC Penney (Penncrest) at the time. Friends in Seattle had a washer that looked just like that on the inside---unfortunately, no groovy detergent dispenser attached to the lid, though. They replaced it with a DD Kenmore about 13 years ago.
I'm trying to recall...did these Hotpoints have an indexing tub? For some reason, I want to say the JC Penney washer's tub indexed a little. Not practically a full circle, as did my 2006 Frigidaire top-loader; but I'm remembering indexing for some reason.
Anyone have a definitive answer on this one?