Has anyone tried using one of those nifty gadgets that supposedly sharpens a worn rotary cutter blade? Do they work?