haha..just hope that the rounded off fastner doesnt require more than 50 ft/lbs of torque to remove or you will be sorry you bought that gator..
One thing I do is cut a flat in it with a dremel with a cutting wheel, then use a big flathead screw driver to remove..if its a big one fastner, use an impact screwdriver. I have had good results using the vice grip method
I have also bought cheap socket sets for doing just this thing - if its a 13mm nut and its stripped take a cheap 12mm socket and pound it onto the nut...works everytime. Do what you want though, be creative. All of the things listed here will work.