Thanks Eric! We’ll give this a go.
We bought this house 2 years ago and the previous owners painted over the porch tiles but didn’t seem to apply any protective coating, so now the pain ...