Recently had my clutch mc replaced at the dealers and they managed to break the clutch switch. It's from an AMK S3.

Here's the original with part number

Apparently this type of switch has been replaced with a universal item but the dealers don't know the part number?!

Can anyone help with the correct part number??

Thanks in advance