Well, if you dig enough into the PWM library, you'll probably see the same timer registers I configured