Guessing you never tip then? That is completely normal for a group of 9 people surely? £3 each! Seeing as you got your 50% off discount too may as well give the staff something as they'll be so busy at the moment and working in the service industry is absolute shite at the minute.