Summary of libraries we're using, and what timers they use:

Servo.h: timers 1, 3, 4, and 5

Tone libraries:

NewPing (for ultrasonic sensor):

Timers and PWM pins: (see RedBack documentation and this summary as well)


Why does this matter? Two reasons: