Anyone attempting to answer this is likely to need the function setPwmFrequency defined at
http://playground.arduino.cc/Code/PwmFrequency