i have a roofer replacing some broken tiles this week, among a few other jobs. They've used a few spare tiles that were left in the shed from the previous owner, which matched the ones in place - they were thick, heavy and textured - and they're also using some of their own tiles. These two in the picture are ones they've supplied and they look smooth to me, rather than textured. Have they used the wrong thing, and would it be reasonable to ask them to source tiles like the originals? I don't know if they're even able to buy ones the same as it's a 1930s house.