or I suppose I could grab a cheap pair of aviation cable cutters and dremel tool from harbor freight for about the same cost as the park tool.
http://www.harborfreight.com/9-inch-...ter-94449.html
http://www.harborfreight.com/96-volt...kit-92880.html
ok, about $10 more but would let me grind the ends smooth rather than getting a file and doing it by hand. I wonder if that'd be a better way to go for a one time thing.