I had to google where Annan is 😅

Yeah, tips aren't mandatory, or rather expected in the UK. However more and more restaurants are charging a service fee nowadays, especially for large groups of people and they're around 10 to 15%