Japanese are very superstitious, so they'd never use a 13 size socket. In general, I believe that most sizes they use are even N mbers.
I remember that I had to use 14 quite a lot disassembling the X, but cannot remember where exactly.
Never seen a size 9 bolt on the x so far