Toby Carvery, what do they put in their mash?

[ins0mn1ac]

As title, had Carvery last week but I was totally clogged up with man-flu but I just remember the mashed potato tasted amazing, despite my taste buds not really working!

Can anyone tell me what they add, or better it?

 

[ins0mn1ac]

I could taste a load of pepper, with I think loads of rosemary but there was something else I couldn't recognise, but it was amazing.

Vanilla extract doesn't sound very nice though! :/