You're welcome George. Last time I checked on that belt, probably a couple years ago, it was outrageously priced. If you find a replacement that works well, keep the info handy as there will be others that will be looking for one too.
When the belt for my STX46 got up to $70, I found a belt that works just fine for under $20. So far it has lasted as long and performs as well as the JD one. I was happy it lasted one season, and it's on it's third season now.
Hope you have the same good luck!
tommyhawk