Those over-ear Audio Technicas are definitely top-tier in performance but I wouldn't mind saving space/weight. Anyone used the Sennheiser PXC 250 or the new PXC 250 IIs? Similar to the Audio Technica ATH-ANC1. They're on-ear phones and have good reviews.
Audio Technicas are classic airplane headphones, and they come reasonably priced. I have a pair of the ATH-ANC7 that work really well, I believe I got them in an apple store for 200 which is reasonably overpriced (I usually purchase online but it was very spur of the moment).