If so, how much?

I generally round up to the nearest quid (as mentioned in the other thread). If it was a round amount, I don't think I would ever tip. Is it just one guy being a nice idiot that tips or do you guys do it too?

Would you be more likely to tip an independent takeaway driver than a Dominoes guy?