Parametric 7mm to 9.5mm 2.5in Laptop Hard Drive Adapter Spacer

I made this for my sister's Dell Inspiron 1545 to allow a 7mm tall modern hard drive to fit in a space meant for a 9.5mm drive.

The side are 0.1mm, so it's best to print at a 0.1mm resolution.