Have you considered the GoLite or Black Diamond pyramid tents w/bug insert? They are relatively more spacious than your listings.

I use the Hex without insert as my primary four-season shelter these days. Without netting and with door shut, it's fairly bug-proof under most circumstances

Call me crazy, but functionally these several tents appear to me very similar to the $30 Wenzel puptent, which is a bit smaller??? than what you're seeking.
http://www.campmor.com/outdoor/gear/Product___35842

.