Full disclosure, I’ve ordered the Crack but haven’t gotten it yet. I’ve built and rebuilt a few guitar amps that use tubes. What I do generally is spray either deoxit or wd-40 on a rag and wipe the pins and try inserting it a few times and that generally does the trick. I’ve noticed that some vintage tubes, the pins seem thicker.
*****Disclaimer - Don’t kill yourself ****
••••••I’m just some idiot on the internet ****
Unplug amp, Discharge the filter caps 220 before going further. I alligator clip the ground first, then use one hand to alligator clip the + side of a 220uf of a filter cap. *sparks may fly* Then measure the volts with a multimeter. Make sure it’s only a couple of milivolts. I mean this amp should discharge automatically if built right. But to check with a multimeter only takes like 30 seconds, and a multimeter is way cheap.
I’m more concerned when pins are loose. In that case if you push on the terminal side you can get the collar to pop out on the other side, and ever so slightly, squeeze with some needle nose pliers. Or if you file a small screwdriver, like ones that repair glasses, you can wiggle it between the wall and pin and tighten it up that way.
If the socket is new, you probably don’t have to do any of this.
I probably wouldn’t sand the pins. I mean, do whatever you want, but I wouldn’t. I find generally reseating them a few times is fine, and sanding will probably promote more tarnish. Although that can depend on where you are. Like a shack in the Mississippi delta would tarnish, but a ac condo in Phoenix AZ probably not.
Good luck.