Ah yes, I’d imagine that’s exactly what it is!
Oddly we had one in the bedroom also (on an exterior wall). Plasterer assumed that was a water pipe and plastered it right back into the wall!
Think they’ll struggle with this one though so need to find a gas man, sharpish!
Thanks!