"Punishers" are the thicker turnbuckles, 3.5mm vs. 3mm, I believe. BTW, I did find the reverse threaded nuts if anyone wants them, thanks to a lead from Data on the "Ask Barry" thread. Only problem is that they're $5.42 each, and that's for the cheeper plated steel nuts.