Here is an example of using his Instant Interrupt code to perform SPWM. I am cheating here a bit, using the R/C receiver as my 20ms timer. But it gives you an idea how to pulse your pins for a set...