My concern for the 580 is that they'd have too much bass, I wasn't a fan of the Dt770s but I heard the pro editions, I'm not sure how the 32 sounds different from them. The hd 25 would be good for portable, but I didn't feel like they were an improvement over the M50s, they lacked in certain areas.
Files are typically mp3 320 kbps, or .flac. This feeds into a grubdac which goes to a cmoy I built. The computer is a 2008 macbook pro. I also have a record player that I listen to on the weekends, and that has a pre-amp, that I need to get the model of, cannot remember off the top of my head. That goes into the cmoy as well. I'd be willing to get a new amp and DAC. This setup would be for home use; I am more than happy with my M50s or a pair of mediocre earbuds for portable use.
Wasn't a fan of the the HD 650, they were way too dark for the music I was listening to and at no point did I feel enveloped in sound. I feel like I would like the sennheisers if I did buy them, but I'd need to give them a lot of time.