Well, I bought a 13mm 12-point socket and it was way to small. So, I went with the kind'a loose fitting 14mm 12-point and everything went well so I guess 14 it is... now to see what kind of mess I've made of the internals...