The Hotwire 3.0 is available on the apple play store, so you should be able to program them on a Mac or an iOS device. That being said, you shouldn't need to program them to get them to work.
As for other servo brands besides Tekin, Id also consider Hitec and Savox.