Yes, I almost always tip £10-20.
I don't think most punters do, and its probably became less common over the last couple of decades, like other forms of tipping.
In the high end parlous / low end agencies where I've done most of my punting, I think tipping is relatively common, but still not the norm.