Ok, update: I just didn't like the idea of a bunch of shims in my rifle. I took about 13 thousanths off the bottom of the cocking piece with a fine file braced against the workbench. It now functions with no shims, and the rifle won't go off even tapping it hard with a mallet.
