Camper latch repair part

This is what in envisioned as I bought my first 3D printer, and it has finally came to pass.  
The latch broke on the basement of my camp trailer. I found a replacement on Amazon, almost 46 US$ and a few days shipping time.  
I then took apart the latch (hey it was already broken)  The problem was a small plastic part that had cracked and would no longer push on the lever that opened the latch.  
A quick FreeCad drawing (even though I’m new at this) and 1.3 grams of plastic later I feel like King Maker.  
Uh, Yeah,  it’s a coincidence that the file that works well is labeled Version4…. Yeah coincidence.