Hello,
Well, PR2 is 8 bits so you can only really set it to 255 but otherwise yes you're correct.
This will of course also change the frequency - there's always a tradeoff between frequency and resolution. If you need to "hit" 10kHz exactly then you'll have to live with ~9.5 bits of resolution or change your oscillator frequency to one that better matches your needs. Faster isn't always better.

/Henrik.