you will get easily confused here but just notice how noone is recommending the headphones you have chosen based on your desires. Except for the UE6000 above.
maybe go for those or something totally not on your list. For EDM you need BASS. and the ones you mentioned aren't ideal.
When you pull the trigger report back to us so we can stop overwhelming you with ideas. So far you have two votes for the m-audio q40 with different pads. and you can get your self a portable amp with the extra money.