on ear

Hi, My girlfriend is currently looking for a pair of headphones for her everyday music-listening needs. Already having in-ear headphones, she is looking for either on-ear, or over-ear that do not leak sound and are not to big and clunky. Also, sound quality is a main factor. Her budget lies...

A friend of mine recommended these; http://www.amazon.com/Sennheiser-HD25-1-II-Closed-Back-Headphones/dp/B000TDZOXG He said they're the best he's ever used, but I'd like other thoughts. Anyone else use these?