All the PICs Timers are free for your use... however, HPWM invokes the Hardware PWM Module which in turn uses TMR2.