Timers on atmega32u4 (Leonardo/Micro)

I'm building something that uses a servo, and a stepper that I want to run in a timer based interrupt. I'm reading that the atmega32u4 doesn't have a Timer2, and in tutorials about timers in general I've read that Timer 1 is taken by the Servo library. Can I do both of these things with the Micro, or do I move to an Uno?

Paul Stoffregen does an excellent job maintaining various libraries for the Arduino. I suspect you will find what you need on his site... http://www.pjrc.com/teensy/td_libs.html

While there you may want to pick up his version of the Micro (a "Teensy")... http://www.pjrc.com/store/teensy.html

Or its big brother... http://www.pjrc.com/store/teensypp.html