Of course #1 would be the solution that most closely answers my issue, but #3 sounds pretty reasonable - timer by default is 10 minutes, which sounds very long to me. If I could set it to 30 or 60 seconds, that would mostly solve my issue.