Tips ∝ Diet Coke refill rate.