I recently had some tradies come and fill a void at my house with grouting and cement slurry. In the process they left these white bootprints and marks all over my driveway. I've tried hosing it off, but it doesn't remove it. Any suggestions as to how I can restore my red brick driveway to its original appearance without damaging the bricks?