The truth is there are a bunch of tents in the 4-5.5lb range that will serve you well for years at that price point. Big Agnes, Marmot, Nemo, REI, etc. -- it's hard to go wrong with any of those brands.
I have a ~6 year old Nemo Losi 3-person tent that I love, but it weighs 8.1 lbs fully packed in the provided gear bag and including the tent footprint and gear loft. It's a fabulous tent functionally, but heavy for one individual to carry alone. If you're packing in with others, you can divvy up the components to share the weight. The reason I bring up this tent specifically is that one of the cool features is that you can setup the rainfly, poles, and footprint together and leave the tent at home. I haven't figured out the weight and space savings of doing this just yet, but I'd guess that it would shed more than half the weight and substantially reduce the packed volume of the tent. If you and the others in your group don't mind the increased exposure to the elements and bugs or can somehow compensate for that in a lighter weight package, you could find something similar in another tent or go with the pyramid style shelter/tent that a lot of ultralight backpackers utilize.
ETA:
I just went out and set up my "tent" with only the fly and the footprint. Forgot about one small issue. The coverage isn't uniform around the tent. Doh! Doing so would have cut over 3 lbs though.
