Hi, over the Winter car was covered with tiny metal particles of the road which started rusting, leaving 1-3mm rust stains on the paint. They go off pretty easily scraping with finger nail. But as there are hundreds of them, is there some easier method removing them? Maybe some spray? I reckon WD40 could handle that, but it leaves hard to clean sticky/greasy film