Amy, Jose, and Eric want to buy burgers at the local burger joint. Amy is willing to pay $25, Jose is willing to pay $15, and Eric is willing to pay $10. If the actual price of a burger turns out to be $15, what is the total consumer surplus for these three shoppers?