I'm going to answer my own question here. In the
IFI 2004 Programming Reference Guide, on page 28, it says that all timers are available to the user for programming, so hopefully that still applies to the 18F8722. I'll post again after some more testing (notably, when I have a chance to get the values of the TxCON registers during initialisation and runtime). Thanks for your input.