NOPE! jk.. but I do want a 9k, can't find em for a good deal yet.
Have two UE6ks.. why I don't know.. maybe waiting to gift one to a cousin or friend eventually. You want to trade? 2 for 1?
I've just sold a pair on eBay, £150 seems to be the going rate. Sadly these are my keepers I'm afraid. I previously owned the 6000 and sold them as soon as I got these as they don't compare at all despite what people say. Hope you find some, pairs with broken headbands sell really cheap and are not that hard to fix if you don't mind what they look like too much.