GTs58
I'm the Wiz, and nobody beats me!
I just looked on eBay. One of these, new in a box, sold a couple of weeks ago at $1,567.89 Plus $154.32. I really did get a great deal.
Go thru all the listings here and in the sold archives. None that I've seen even come close to your deal.