Wondering about closed headphones in the middle-high range

Hello,

I want to buy a new pair of headphones in the 200-450usd budget.

The use is quite mixed, mostly classical music, but also quite a few pieces of jpop(so pop), and some jazz. There's also gaming but i'm not very requiring on that part.(so 70% classical music(including audio dvds), 20%jpop/osts, 5%jazz and 5% gaming)

I'll be using the headphones most likely without an amp. I dont need very strong sound.

They'll be plugged in to my computer's sound card(soundblaster X-Fi) and my laptop(integrated ac97 audio but possibly a pcmcia soundblaster soon), and rarely on a mp3 player(but i really dont need strong sound on it, and if i need i'll get a portable amp).

I'd like to have a pretty decent insulation, although nothing's perfect so anything decent will be fine.

My old headphones are sony mdr-z900(been using earphones too, but they hurt my ears too much) and frankly i'd like something better<smile>.

The current candidate i found are the following:
Audio-Technica ATH-A900 Aluminium/US$200
Audio-Technica ATH-A1000/US$370
Sony MDR-CD3000/US$379
Audio-Technica ATH-AD1000 Aluminium/US$380

Any suggestions on which you would recommend?

Note: i'm not a big bass fan, and i tend to be much more sensitive to highfrequencies.

Note 2: portability isnt a big issue either as long as i can use them in a plane or in public places(static use, no movement).

Note 3: if it can be bought online in europe rather easily(any suggestions again?) then it'd be a big big plus since i'd like it before xmas

Thanks,

DeathWolf