Should be less than that I think.
Border to border I presume? That is about 8km. We did it in about 18min not racing.
Think they should be able to do it in less than 10min.
Half the distance, 4km, and only the last twisty bit for a professional on a small bike takes 4min.
The first 4km is faster.