We are coming last week of March. Parents bringing Class C and we are tenting on same site. Wondering about approximate dimensions of the coquina pad for our tent. We have 2 tents to choose from. The smaller I know will fit, but wondering if the 17x9 we usually use will fit, even if it's a tight fit. I know description says "small tent" will fit. Anyone who has actually measured the coquina pad, I would greatly appreciate the input. Thanks!