Arduino Micro and Servo Library

greetings,
I have a quick question: on the Arduino Micro which pins are safe for use by the Servo library? I notice that digital pin 9 works great while digital pin 4 and 5 have strange behavior.