My nephew is using his fathers tent. It's big, heavy and bulky. Which tent do you think he should buy?