Thanks for the ATC info, guys. It's great to know how it actually works.
Speaking of Energy Star, I had the angel and devil fighting on my shoulder when my timer broke. On one hand I thought -- *finally*, an excuse to buy a new, modern, energy efficient machine with all the bells and whistles to replace this old water-guzzling almond and fake woodgrain thing, just in time for Black Friday. Sears even had an LG-made Kenmore front-loader on at a killer price.
On the other hand it's so well built, simple, durable, cheap and easy to DIY-fix. Over 25 years old, and it still just works. No mold issues, no monthly cleaning tablets required, no expensive electronics to fail 5 years down the road. The only thing that bugs me is the bleach spotting issue I mentioned above, but I've learned to work around it. So I popped in the replacement timer and it's back in service again, for probably at least another few years.