I saw somewhere that it was T17, a weird size but maybe that is the anti tamper part? I think I actually used a more standard T15 or maybe T20 to get them out and then fitted the new TPS with the M4 Allen head screws. Did you manage to get a PF4C/00 as they have been a bit tricky to find recently?
