The discount code for the Earfun Free Pro in the video description should become active in some hours.
The mentioned IEM was the 64 Audio U12t which goes for around $2000. I based my EQ on a measurement I got from Crinacle which was obviously measured with a resonance around 7000Hz, I have no idea how it would measure at 6000Hz but tried to follow the graph as close as possible without that additional peak at 14k:

If your resonance is close to 6000Hz, you can try the setting out, which IMO sounds really terrible:
