Judging by his date of registration and assuming he bought his printer in that same time frame he most likely has a .35 if still using his stock hotend. However, if he has changed his hot end since then there is a good chance it is .40.
The only way to know for sure is to check with a drill bit the same size unless it is marked on there somewhere.
Printit Industries Model 8.10 fully enclosed CoreXY, Chamber heat
3-SD3's & a Workbench all fully enclosed, RH-Slic3r Win7pro, E3D V6, Volcano & Cyclops Hot End
SSR/500W AC Heated Glass Bed, Linear bearings on SS rods. Direct Drive Y-axis, BulldogXL
Thanks to all for your contributions