Great points. AnyOtherRay definitely go check out your local Best Buy, tech stores, and friends, even though it's nearly impossible to choose from just those, because of the selection online...
I've always wanted a pair of DT770s, but never had the audio budget for it
. What's the impedance on those? DT770s come in 32 ohm, 80 ohm, and 200 ohm. If it's 32 ohm, I think you could do better buying a new pair, but of course, it's up to you. 32 ohm DT770s are currently $175 on Amazon, so your choice. If their anymore, of course, he'll need an amp. Did some Massdrop looking, and in the off chance that it's a 250 ohm pair, they'll need a great amp. Massdrop currently has a Massdrop exclusive DAC/AMP combo at 33% off ($100 with discount), which barely comes close to the 4.01 Vrms needed, at only 2.9.