Grados tend to be mid focused, HF5's are focused on highs, but pretty much everything above the mids are pronounced, and the TF10's have a V-shaped sound signature so the highs and bass are pronounced.
The Grados aren't going to get you any isolation. If you're looking for portability, they also aren't going to be nearly as portable as the HF5's or the TF10's. If I recall correctly, they have a 6ft long cable and also terminate in a 1/4inch plug, so you're going to need an adapter to use it with a normal mp3 player.
You might want to go demo Grados in a store before you get them. Some people find them uncomfortable, and the sound signature is a bit extreme, as in a lot of people can't stand it although just as many love it. Etymotic Research headphones also tend to have a somewhat extra unique sound too. TF10's are the most mainstream in my opinion, and they also respond very well to EQ.
By the way, if you're seriously considering the HF5's and can't find them for cheap, I would recommend looking into the Brainwavz B2's, which have promo's all the time and can usually be found for ~120. They have the same type of sound signature, but are overall sound is a lot superior in my opinion.