My recollection was that it continues timing-out the interval from the point that it was paused, ie, if you paused the timer when it was 2 seconds into a 10 second tick, and then later enabled it again, it would fire 8 seconds after you re-enabled it.
I also have a vague recollection that to restart a full interval, you have to *change* the timer interval, ie, not just assign the same interval to it again.
Probably best to confirm this on your hardware, just in case ;-)