No push pull, are you sure? I've never heard of a Westinghouse washer without a push pull timer.
Please do this, with the machine plugged in please give the timer dial and good HARD pull outwards. Pushed in is off, pulled out is on.
And no, that timer service manual is generic enough to cover timers from 1940's thru the 1970s.