That switch looks like one of these modules [1] that costs around $10 and the IEC power socket is the exact same [2] cheap crap I used on my 3d printers... [1]

That switch looks like one of these modules [1] that costs around $10 and the IEC power socket is the exact same [2] cheap crap I used on my 3d printers... [1] https://a.aliexpress.com/_mqS2quO https://a.aliexpress.com/_mqS2quO [2] https://a.aliexpress.com/_mNpTLDU https://a.aliexpress.com/_mNpTLDU