Hi @nem , thanks for this topic, it is currently helping a lot recapping my 400-5397-01.
I have a slight fitting issue with the C35 cap, the one directly next to the 5V and 3.3V cables.
13mm are fine for C28, C29, C31 and C32 for C35 I'd recommend 10mm. That's the diameter of the cap I pulled...