It could have been a mandatory service charge. It ought to be made clear on the bill if so.
In fairness could be dodgy if the employers are topping up wages with tips from 'discretionary tipping' ehich is de facto mandatory and dodging NICs. Also perhaps they saw you as a big pished group and took advantage a wee bit.