Sony MDR-1R family

I was thinking of getting the Sony mdr-1rmk2. I mostly listen to rock (so if any other suggestions, please tell me), but I am a bit worried about sound leakage, as I will primarily be using them in study hall at the university.

The original 1r doesn't leak much, so no worries there. I don't really like the 1r for rock though, since they're bass isn't very fast, and they're overly dark. I prefer the Focal Spirit One, which has absolutely fantastic isolation. The AKG K550 is also good.