Just asking those who may know. I want to drop the height of my kitchen ceiling for a number of reasons. Is it permissible to have a gas pipe running through the void AND cooker hood extraction ducting? Many thanks.