I used PETG but anything should work. Tolerance might be a little tight for some printers, if you're worried about that then maybe scale it up a few %.
I printed on a MK4 with lightning infill and fit was perfect.
My son loves it, hope you do to.
The author marked this model as their own original creation.