Replacement trigger for automatic drink dispenser

Today in the mail I received a set of 2 automatic drink dispensers.  Unfortunately, the trigger on one of the units arrived broken.  I could have contacted Amazon, returned them, bought new ones, etc, blah, blah - but we don't do that in the printing community!  We just fix stuff!

Thus, with a little modeling and printing work, on my 2nd attempt I got a working replacement trigger that works perfectly.

I printed with PLA, .1mm layer height, with supports turned on just for the two round pegs that stick out.  The unit goes on (and comes off) with ease and works perfectly.

OpenSCAD and parameters files provided in case anybody has a similar model that they need to tweak for their needs.