Don't forget the Kontakt factory library has a few. There's also the eSoundz Infinite Kapsule which has a good variety of tron sounds as well.
If you want to check out some alternatives, I'd first suggest the Optomotron by Hollow Sun. It's based on the Optigan, which is like a Mellotron except that instead of tape the sounds are stored on an optical disc (a sheet of plastic with some markings on it). Also their MLM series have a few titles with some seriously crusty string, brass, and choir sounds.
One other thing to check out is the VP-330 (also Hollow Sun). A lot of prog artists used to take that on the road as a replacement for the choir and string sounds because Mellotrons are not known for their roadworthiness.