Good heavens, that's one crowded timer. It's almost as bad as the Whirlpool Mark XII with the teeny tiny printing, but it was a lock stop so you did not have to be worried about where to set it because where it stopped when you were turning it for the start of a cycle depended on what button you pushed.
Yeah, I saw it on craigslist...not too far from me, but seems to be too "new" and I agree about the crowded timer control panel! Besides, I have something a little more vintage than that...