VacMaster Pro 350 Vacuum Sealer Lid Switch Trigger

This is a replacement part for the VacMaster Pro 350 vacuum sealer, the little thing mounted to the lid that triggers the interlock switch when the lid closes (there appears to be no official name for that thing, nor anywhere to purchase replacements). Rather than match all the dimensions of the flimsy plastic thing that was originally there, I've altered it to make it stronger. One file (the one pictured mounted to the vacuum sealer) uses an M3x8 socket head cap screw press-fit from the bottom. The other file is for an all-3D printed version which should still be somewhat stronger than the original part (the base part is thicker, and the 3mm wide plastic post is shorter and hopefully less prone to breakage).