I am cleaning an elderly relative’s house and I can’t seem to shift what look like burnt-on grease/oil marks on the ceramic hob. I have tried baking soda/white vinegar combo and the usual ceramic hob cleaners but to no avail. Any tried and tested, safe for ceramic, ideas please?