Hi Everyone! I’m a parent of a participant and I noticed today that the Mombasa bug tent is 2lbs 12oz and the ALPS Chaco we just replaced it with is 5lbs 15oz. Are there any other lighter weight options worth considering? 3+ extra lbs seems like a lot. Thanks so much!