The timer device we have to turn on the gas/ set times is the old style circular device, with the push in notches, each representing 15 minutes. I cannot stand this...I always have difficulty pushing in the notches!! I was wondering is there a digital clock available that could do this?