FWIW, I read that as he started playing with the smaller tip a year ago. Not that he started playing pool a year ago...
I also find that anything smaller than 12.5mm ish is uncomfortable. Equally, 13mm feels too big. Isn't it amazing the difference that half a millimeter can make?