So the "Brooks-Mays" Sterling Virtuoso re-appears:

https://www.ebay.com/itm/Sterling-Vi...YAAOSwjMBcfXY9

Auction price at $5,532 right now. I think this confirms my earlier statement: "In the past, a new Sterling might pop up in some strange music store that had ordered a "onesie" and hadn't been able to sell it. These tended to get cleared in the $6,500 - $7,000 range."