There are only 3 chips that I would classify as high end in their collection.
The high end market is certainly not dead. This year I have sold at least 8 different chips for between $8000 and $15000 each.