Hello Mike,
You might want to try a mix of cleaners.
I tend to find that it is best to mix your own cleaners see below and let me know what you think.
100ml of G101, 50ml of white vinegar and 400ml of pure water.
Mix into a spray bottle and spray on affected area and leave for a few minutes should then get rid of marks.
Hope this helps.
Kind regards.