Ah, to be the owner of a major and long-successful casino, who could afford to buy this on a whim just to satisfy my curiosity...
But alas, I am but a mere mortal without such pocket change to squander, so I shall surely wander through life wondering what might have been...
At least I might eventually get to read about who bought it and for how much (if lucky!). Personally, I'd have to have "silly money" to spend that much on a tuner, for the reason already mentioned: there aren't that many stations out there broadcasting music that I want to hear, in a sufficiently high-quality format, to justify it. Five hundred or maybe, just maybe, a thousand dollars (but even that is probably a stretch), but over $7K? For just a tuner, when there are so many other things I'd rather have first for that money? Not in the financial realm I inhabit today!
But for the person who can already afford whatever they want, and who wants to get THE BEST tuner they can find, and something "special" that not many can own, well, that is an excellent candidate! :yes: