Sorry for lingering here beyond the [Solved] word but I thought this library provides a way to manipulate timer1 for PWM (arbitrary period and 10bit):
http://arduino.cc/playground/Code/Timer1
I am myself just starting with this so don't know too much about it.