Just a silly little question: Roughly how much would a pint (or a half) be in a Leeds city centre pub?