Is there a reason you're actually using PBP instead of just sticking to assembler?

If you have PBP 2.42 have you tried a simple...

HPWM 1,127,13000

... to give you 50% duty @ 13kHz on CCP1...

Melanie