Thanks for the tip on the timer.
Car’s in the shop getting new shocks and the shop is right next door to Wal-Mart. That will be a convenient stop for the timer when we pick up the car. (OMG — those shocks are expensive — $600!) So, when I pick out a timer, do you have any suggestions on what I should look for?