Thank you.

I'll try this out when I'm back home.

Did the PWM output anything, you didn't say?
Yes, it does work. With the code in my first post, I get a PWM signal around 430Hz (not sure about that frequency right now).