This is the first time we’ve had a cleaner and now it’s approaching Christmas, wondering what the etiquette is around tipping them? I was thinking £10 or £20 and a card? Or is that a bit stingy? They have been with us since august. Happy with their work, wouldn’t say they go above and beyond but they do what’s required. Thoughts welcome!