I'm planning to upgrade from the Razer BlackShark V2 for better audio performance in music, and I'm looking for a new pair of headphones...I'm currently using the JDS Labs Element 2 as a DAC/AMP, and I would like to get some suggestions. The music genres I usually listen are EDM and Pop. My current budget is about 2400$, and I would like to get some suggestions. The ADX5000 seems great, but it seems to be controversial to the music genres I listen... The HIFIMAN Arya was considered, but it lacks comfort...Can I get some advice for my new headphones?