Add a roof vent/fan, or not?