I'd read something about the separate timers on the Arduino but hadn't really taken much notice of it. Not sure yet if it would be handy yet but quite possibly at some point.
I had a quick look at that library and looks like it can change all the timers.
It also allows for up to 16bit resolution instead of just the 256 values. Depends on the frequency though, resolution goes down with increased frequency.
EDITED: 27 Jan 2015 11:36 by CHRISSS