Hi. That sounds like a very old model, so you probably can't buy an original. If you contact a local TEC dealer, they will be able to check to see if it is still made.
The other way to obtain blts is through a repairer of home stereo systems. they use many sizes of belts, so take your old one in to get it sized.
Mark, August 2009
