Anyone know what size he was riding @ the TOC TT? Looks like a 515 (XL), but I have not been able to find it in writing.