JBL also made a slightly smaller version..
called "Metrogon" ... these are all highly sought after, particularly in the Asian market. They don't usually command that kind of price though, typically 10-15K in one's I've seen. Maybe the market is heating up again, though don't know why it would be.