IEM recommendations under 2k

I was looking for an iem to buy I've never had one. I usually listen to vocaloid, jpop, game ost etc some jazz pop indie pop etc.

I am confused between tangzu wan'er and 7hz salnotes zero. Are there any other better options?? I need a mic and preferably 3.5mm cause I heard the inbuilt dac is bad.