The original report
He decribed the boulder as being about 200 pounds. My first thought was that how could he have not leveraged a 200 pound rock off of his arm. When rescuers went to the scene they found the rock was more like 800-1000 lbs and they were unsuccessful in recovering the limb.
I am sure the arm was numb after 5 days and he did tie it off before he cut it. After all that, to have the strength to rappell and walk 5 miles is amazing.