I did similar using this technique many years ago

HPWM 1,0,250
oPWM = 0

where oPWM is the hardware pin associated with the HPWM.