Has any had any experience with a product called Elephant Snot for removing paint graffiti from historic headstones? Are there other products you might recommend instead, assuming pressure washing is not an option? Thanks very much, Mary Ellen Lepionka Gloucester Historical Commission