You are correct in you analysis. Try to be fast, it gets wet anyway, and then you mop it up. Some tents can be pitched fly first then the body inside, and other can be stowed away with both pieces together, so you pitch it pre-flied, if you were lucky enough to think of that, and if it wasn't raining in the morning when you put it away. Or you can use a single-wall tent which if you pitch it reasonably fast does stay dry on the inside. I usually go with this last solution. Or just get a room.