I’d normally just walk into an REI store and ask this, but given the COVID19 I’m hoping you can help me out online.

Looking for a car camping tent for 2 adults.  3 season is fine.  Might use it a hand full of times per year.  Considering the following.  Any thoughts on the best option?

REI Co-op Half Dome 3 Plus Tent
- REI Co-op Half Dome 4 Plus Tent - do I need the extra space over the HD 3?
- REI Co-op Base Camp 4 Tent - is it worth the price increase for my purposes? 
- REI Co-op Camp Dome 4 Tent - Good price as discontinued.  Am I going to miss not having vestibules? 
- Kelty Discovery 4 Tent - low cost, will it hold up?

Any thoughts much appreciated.