For me visual distractions (even if it is just people walking) are a lot worse than noise. I can tune out the chatter but whenever I feel or see movement around me, my head snaps to attention to find out what it is. Some evolutionary thing most likely
I'd save the $$$ and just go for a nice pair of isolating ones.
I've also become a huge fan of wireless headphones for the added mobility--I switch between a few different computers and monitors, and not wrapping myself up in the wire is worth a slight hit in the sound.
Sony MDR-10RBTs are an excellent model for the price, hella light and comfortable, don't leak much sound out or in, and sound quite decent with Bluetooth AAC/AptX enabled (I listen to rock, metal, industrial, pop, dance, rap--can't speak much for classical, jazz, etc.)