francisco bustamante shaft diameter?

[Rafachauer1990]

hey there?
does anybody knows, what shaft diameter does francisco bustamante uses?? if not ,any player using a 12 mm shaft?
thank you very much
Rafael