Coleman 10-person Weathermaster Screened Tent - Costco $145
It is only available at Costco as far as I can tell. The closest I can find is the Coleman Weathermaster 6 Screened Tent at Walmart for $192 or Amazon for $178.95.
The dimensions are 16x10x74, just slightly different than the Weatherman 6 Screened which is 17x9x82". It looks like they may have made it so that you can sleep in the screened area, which may be why the dimensions look the same but can sleep more people.
Also, don't confuse it for the Coleman Weathermaster 10, which does not have a "screened porch".
I google image searched the model number (2000008678) and found the attached pictures.
For $145 plus you can return it if you don't like it or if it messes up, I thought this was a very good deal.