It doesn't make sense to limit your self to the MX580 or PK1. If you want better sound than the MX580, then you should choose the MX880 or Sony E888. be careful though, as there are many fake E888 earbuds around. The E888 is on the bright side, while the MX580 sounds closer to neutral. The MX880 is said to have much more bass than the MX580.
I guess the E10 makes sense for use with the notebook all the time. The E7 has more versatility since it has a built in battery and a line in, so you could also use it with an mp3 player. I don't know about the E17.