I've found the Gimbal Motor

[Redstonehenge42]

:-)
https://www.sparkfun.com/products/20441

[Scott Bezek]

Yes, this is already noted in the readme:

Thanks to #16 (comment), we were able to identify the likely original manufacturer, and recently SparkFun Electronics has been getting them produced and regularly stocking them!

Cheers