I'm also assuming that I will need to reload the TMR1H/L register as I exit the interrupt service routine. Correct?