From his FB, they seem to be the vapor fly elite. Which you can't buy AFAIK. They were made for the sub 2h attempt, and only available in 3 sizes.

I think you are right. They look like have a sleeve design, but because the shot on tv is from a bit of distance, I can’t quite tell if they have laces. The way he’s stretching it when setting up the transition makes me think they might be laceless. They look perfect for draft legal races when a super fast transition is a must.