Guitar Pro is a pretty important program to me. I teach bass and I use guitar pro for writing out all my tabs and exercises. The great thing is with guitar pro 4+ is you get standard notation with the tabs, which is very useful when teaching.
Im not familiar with the other programs mentioned but i may have to look into them, as I am not entirely happy with the RSE of Guitar Pro 5. I find in alot of cases, the midi doesn't play smooth with using the RSE. I tend to get alot of lag.