In reply to plexiglass_nick:
I got a Beal Stinger on a cheap internet deal last year.
It was fine in the gri-gri, though not "officially" ok from the Petzl website.
However, it lost it's shape very quickly, went soft on me, and had poor abrasion resistance. I ended up chopping 5m sections off both ends within 2months of regular use, then some more a few weeks later, and now its a seldom used 35m wall rope. I wouldn't buy another.
Friends have both the Serenity and Joker, and these both seemed to have better durability. Both also work ok in a gri-gri, though lowering someone off seems a little less controlled than with a fatter rope.