I've accidentally ordered my 14 year old Christmas Pudding with Brandy Custard for a meal in a restaurant. (Not accidentally ordered, just didn't think). Are they likely to be allowed to serve it to him, or do age restrictions apply?