We will be staying at the Dolphin in August. Does anyone know if they have refillable mugs there? We will be stocking up on drinks to keep in the room but DH drinks alot (Diet Coke) and he would really get his moneys worth with a refillable mug. Thanks for the info!