Thanks folks for the advice. My manual says not to use alchohol nor detergent but just a dry lint free cloth. I haven't tried yet but I would have thought that a dry cloth would not be much good for finger marks.
Next question;-
Anyone know a good way of cutting childrens' fingers off without getting too much blood on the carpet?