I've never come across this but if I did it would just mean a 50p tip instead of the usual £2.