Enclosure broken around power button, how to repair?

Hi fellow repair-men and women,

On this computer model I have to repair, the plastic enclosure around the power button is cracked and broken. The previous owner likely dropped it more than once. The power button itself is a sub-microswitch located rather deep inside the enclosure and actuated by a plastic pusher molded in one piece with a spring-like extension riveted inside.

The rectangular hole holding the plastic power-button pusher has deformed, and the pusher frequently stays in the depressed position, meaning the computer may or may not turn on since the switch can stay permanently depressed.

Additionally, the spring-like plastic structure from the pusher is also broken.

It is just one exemple of a cosmetic defect affecting functionality

Already tried:

Finding the plastic pusher and replace it. No luck, even on AliExpress

Thinking of trying:

Make the rectangular hole slightly larger with an Xacto, but doing so may result in the pusher getting lost inside.

Thought of trying, but rejected:

Glueing the pusher to the switch. Given how small the electrical switch is, I just couldn't trust myself to lay a glue bead small enough not to glue the switch itself but large enough to hold the pusher.