Just in case you were wondering, the gas engineer did turn up eventually, after a bit of back-and-forth. He checked everything out and switched the gas supply back on and I’m pleased to report that nothing has exploded.