Micro HDMI Dust Cover Insert, Plug, Cap

A micro HDMI dust cover based on @Sica's nice model (https://www.printables.com/model/775764-micro-hdmi-connector-protection). I needed a cover to block off one of the micro HDMI ports on the Raspberry Pi 4.

I printed using my Prusa i3 MK3S+ using the settings: 0.15mm Quality, 15% infill and brim enabled.