I just got tired of ppl modeling but not releasing source files, and the ones I found didn't quite have the rigth dimensions.
Use m5x8 screws or m3x10 with a 0.5mm washer.
Created from scratch but heavily inspired from:
https://www.printables.com/model/361649-dc-dc-buck-converter-step-down
The author marked this model as their own original creation.