This .stl file was produced by scaling the original model and converting it directly to .stl format.