Where do you do your cooking? Is it ok to use a gas camping cooker inside the tent (big 8 person type)?