Yes, that's what the verified reply (Andrew@Trek) states; there's an unverified reply a bit lower on the page that claims 35mm "pavement" tyres will fit with Bontrager NCS fenders though.
I'm planning on visiting another Trek dealer soon, so I'll wait and see/hear/read.