Welch and Sandzo order eggs for $4.50, pancakes for $3.20, and 2 mugs of cocoa for $1.30 each. The tax is $0.80. How much change should they get from $15.00?