Ok. Having another look/think after reading the above I have more questions.
If I vent to outside my plan was to run some hoses down the side and out towards the back to prevent dust getting in.
Now knowing that the gas is lighter than air I am assuming if the top vent had a hose going down that the gas would just get trapped there.
Now looking at the pic below. If I cut a hole at "a" the gas could then vent into the space "b"
It could the travel upwards behind the trim "c" and get trapped in the top cavity and if it exploded could blow my roof off.:(
Would this be ok to vent here?
https://www.aulro.com/afvb/images/im...14/11/1038.jpg