A little Halloween project gone awry. Red paint splatters on flagstone.
Wife unhappy. How to get it off? I tried paint thinner - no effect.
Then I tried Circa 1852 paint stripper followed by hot water from a
garden hose. It lifted some of the paint but left most. Do I keep
going with the paint stripper or is there a better product/technique?

Portable sand blaster, if outside of course!

That's where I'm headed. Today, I borrowed a pressure washer and it did
nothing. My neighbour across the street who restores planes came over and
said calmly, "I have a sand blaster in the shop you know." Great neighbour.
Gonna try that tomorrow.