I'm a relative newcomer to headphones, so recommendations I leave entirely to others. However, although recent foreign exchange movements don't help, I do feel that 8,000
ought to get a pair that are pretty good for laptop/portable-player listening.
Look at
this (Audio Technica AD500: Amazon link, so please excuse when it becomes invalid in the future) for instance. I auditioned the AD700 and AD900, and bought the AD900: higher price bracket, but one just gets more refinement.
This range, by the way, are a) big and b) open-back. Your friend needs to decide what they want. They are surprising comfortable, and, until my ears get a bit sweaty, I can easily forget I am wearing them. Wouldn't be any good for portable use, though. These are also now the
old range: the new range have an "X" at the end of the model number. That could mean that the older series might be available as very good offers. I have often found that
last-year's-model buying is a great way to get best value for money.
Grado is a favourite brand with many people. I don't know the starting price.
The biggest problem with buying headphones is that they really need to be auditioned, not only for sound, but for comfort. No two heads are quite the same! Buying online without trying should give the best bargain, but is necessarily a gamble.