What is the correct formula for calculating the period value that goes into
the 16C65's PWM generator?  This period value simply flips the output bit
value when the value matches TMR2, right?  The data book seems out by a
factor of four, in that they forgot to include the "x 4" to get from the
external clock period to the instruction clock period, that latter of which
is the input to the PWM module.

I have no circuit to try this on, as I'm actually writing software before
the boards show up.

-Ed V.