Looking at the company's history, it could also be the same case that Gateway was using for the slimline 4DX2-66, the power button looks identical.

Bought these (retro) hardware today

Gateway also used Micronics motherboards in their machines.

Due to demand I'm making the Osmenu publicly available here for future generations