Ventilated Tall cover for GK3 Pro Mini PC

I have a GMKTek mini PC which has a 2.5" HDD bay at the top, but only holds a 9.5mm tall drive. I extended this ventilated cover by 6mm so it fits a 15mm 4TB Seagate that I shucked out of a portable drive enclosure.

Print in PETG or other material that will handle warmer temperatures. I'm not sure PLA would hold its shape well.

Fits perfectly into the clips for the original cover, extends the height for a larger drive, and adds venting for better airflow.

These PCs are sold under lots of different names. Mine was a SZBOX GK3V GK3 Pro Alder Lake N150 Mini PC from AliExpress.
https://www.aliexpress.com/item/1005001269827703.html