I cant find the part number anywhere, but i know they are 4 Pin Blue clutch pedal switch.
They are located at the top part of the clutch pedal in a bracket. turn anti clock wise, to release them out of the bracket , unclip the wired plug two side tabs hold them in and pull the old clutch switch away. re fit the new switch in to the bracket and turn it clock wise there are some locating pegs so u cant fit it wrong a bit of a twist helps it in, replug the wires and road test.
Let me know how you get on with the problems