Our front porch has a reasonably large area of red tiles. Over the couple of years that we've been here they have got dull and patchy. Any suggestions of a way of bringing them back to looking better. I remember polish called Cardinal but that seems to be missing from supermarkets these days. After a few years of hip and back problems (now thankfully sorted) I don't really want to get down on my knees and polish them and I don't want to end up with tiles that are slippery either so if anyone has found the ideal product I'd be grateful to hear what it is.
More rude behaviour on public transport 😡
Unexpected opportunity to have a few days break next week and would love some recommendations


