I noticed this while buying an amplifier at Addicted To Audio.
This is a great (and lucky) price for an amzaing set of IEMs and the lowest price I've found for local stock.
I've had a pair of these for over a year and believe they're worth a lot more than $888.
With the included yellow tips, you can't hear any external noise even if you play music at a low volume.
I kind of wish I had the blue version but the clear version was $6 cheaper at the time so I got that instead ¯_(ツ)_/¯
I drive mine just fine with the headphone jack on my Xperia XZ Premium but they benefit from a better DAC/AMP like an AudioQuest DragonFly, etc.
I know we hate product review on OzBargain, but here are some reviews:
https://www.productreview.com.au/p/addicted-to-audio.html
I bought a pair of Shure SE535's from them earlier in the year. Sensational bit of gear, absolutely love them.