There is definitely a button to upgrade the standard glass of coke to a pint for an extra XX pence. I am not wrong. People have done it before.
