Thanks for the info. I actually know how to change the jack myself so I might just do that

I just recently broke my GR07s. The jack is all mess up. I just wanted to know if it would worth just fixing the jack. How much would the sound be different after the DIY fix. and if its not worth it, what are alternative IEMs that are recommeded at the $200 range? Thank you.