It sounds like this tent is for "car camping", not backpacking ? I've had good luck in that department with the $75 Walmart or Kmart Family Domes.
They are heavy, but make up for that with sturdy construction, vestibule, plenty of room, etc.
Spend the rest on (real) inflatable mattresses and a...