Mike has plenty of those pliers now. They run about $60 give or take. They don't cut braid all that well, but they'll suffice in a pinch. Fortunately, I haven't had a chance yet to see how well they cut a 4x 4/0 VMC
Best thing I've found for braid is the scissors on a Leatherman Micro. They're like $15 or so at Wally World. It folds up to about a 2" by 1" rectangle and fits almost anywhere.