Prusa do not supply usable and editable file.
I measure their unusable stl file and made s3-model.I changed to every hole correct diameter. And shape are reduce filament length.
The author marked this model as their own original creation.