My wife has just been cleaning the gas cooker. It's seems to have been a
struggle and taken forever.

I seem to remember there were aerosol sprays that did the job. Have they
been legislated out of existence? Any recommendations?

Another Dave
--
Change nospam to techie