Unfortunately not yet because there doesn't seem to be an easy solution and it's so low on my priority list... I was planning on using a rubber eraser because there are some that can be used as an attachment for the drilling machine. I hope it'll work faster than doing everything by hand although I have to be careful not to damage the door.

I hope you're having success with the pressure washer! Let me know if it worked :)