OpenSCAD 25mm x 10mm fan model

This is a non-working 25mm x 10mm fan that you can use as a model.
I started out trying to parameterize the 60mm x 25mm fan SCAD model but instead just scaled it down by 0.4 to create a 25mm x 10mm fan.
I also made the mounting holes a little larger.