Toggle for Plastic Tool Case Latch

Have you got an expensive tool set in a plastic blow-molded case?

I'll bet one of the plastic latches that holds it shut is broken! Surprisingly, even though the tool inside the case usually cost thousands of dollars, the case itself is not very durable and is usually not available separately. Of course parts for the case, such as latch handles or toggles are absolutely never available.
Until now!

Stop taping shut or using Bungee Cords to keep your monstrously expensive tool sets enclosed! Print out these handy repair parts to repair the broken over-center toggle that fixes the latch handle to the case.

There are two versions, 1a, which is easier to print but might need some post printing grinding / filing for the latch to full shut and version 1b with a clearance notch for the tool case. The notch is fairly wide and reduces the footprint on your 3D printer's build plate which could lead to warping and failed prints, so I included the first version which is pictured in pl