Andrew, Maria and Joey spent $20.00 for a large pepperoni pizza and 3 cokes at Pat's Pizza restaurant (including the tip). If, instead, they had bought a gourmet frozen pizza at the supermarket for $7.00 and a 2 liter bottle of Coke for 99 cents, how much would they have saved?