Anyone that can give me an idea of the awning size?

I know the tent is 4.2x2.4m, I've seen ground sheets specifically for the 420 that are 4.2x4.2m - does that sound about right? (4.2x1.8m awning)


Thanks