I thought so too, but those aren't normal hobby servos, they are these things [0] at $100-300 a pop. and there are like 20 of them

[0] - https://www.robotis.us/xc/