I didn't feel like always using the bottom socket. You can also buy a socket for the top from Festool, but I have a 3D printer and the tools to build it myself.
The dimensions were taken from the original cover using a 3D measuring machine.
The ducking was done with green PLA filament from Bambu Lab
For example, I installed this socket : https://www.amazon.de/dp/B09FK2Q55T
V1: with less pressure area on the back filament and ø4.4mm through hole for M4 screw/nut
V2: with continuous back surface and ø4.4mm through hole for M4 screw/nut
V3: with continuous back surface, tenon and ø2.0mm for self-tapping plastic screw
You shall not share, sub-license, sell, rent, host, transfer, or distribute in any way the digital or 3D printed versions of this object, nor any other derivative work of this object in its digital or physical format (including - but not limited to - remixes of this object, and hosting on other digital platforms). The objects may not be used without permission in any way whatsoever in which you charge money, or collect fees.