Clutch pump / master cylinder model number

Hi does anyone know the dimensions of the clutch master cylinder (clutch pump as brembo call it).
I can't disassemble mine to check without tearing the protective boot.

It looks like a PSC12 and that agrees with the oppo racing site oppo racing

But in that case it is a 12mm diameter piston.

Oh wise ones please answer