We put the cover on pretty tight. I can maybe open the vent an inch max. I guess I'm not sure where the air would go anyway since the roof is entirely covered? Kind of puzzled by that.
Not sure what I did different than you Ken. Would be interesting to know. My GH is much smaller than yours so maybe with the pitch of the roof there is more space on yours. Dunno.