There are a few more brands and models that pros use. The AKG K240 has been in use for decades, and I think they're quite charming. Audio Technica has made a lot of in-roads into mid-level pro studios in particular (i.e. not million dollar rooms, but still quite good studios that make good records regularly). I've also seen Shure SRH series headphones in professional contexts.
But, your statements about "pro" headphones are accurate. They aren't the nicest looking, but they are really good, and I always recommend a good pro set of headphones over the marketed crap from Beats, Bose, Monster, etc. $250 will buy a lot of headphone quality from one of the pro audio manufacturers.
But, your statements about "pro" headphones are accurate. They aren't the nicest looking, but they are really good, and I always recommend a good pro set of headphones over the marketed crap from Beats, Bose, Monster, etc. $250 will buy a lot of headphone quality from one of the pro audio manufacturers.