The iteaduino has a "servo interface" broken out:

The pins are labeled A8 - A10. According to the schematic, they are connected to digital pins 9, 10, and 11. The "A" designation on the silkscreen caught my attention, plus the fact that the numbers don't correspond to the common Arduino numbers for those pins.
I don't know servo functionality well. Do those numbers have some correspondence to some standard servo library? Does the "A" indicate analog (input or output)?
Just wondering if there's some non-standard mode of function for those pins I don't know about.