Credit to Stud.io for the model files. The model size is not to scale with normal LEGO, but it should be easy to find the correct size and resize it in your slicing program.
The author marked this model as their own original creation.