A customer buys 100 DEF at 70, but several months later, the stock is trading at 82.85. The customer, concerned about a possible pullback, buys 1 DEF Aug 80 put at 1.50. If the stock subsequently falls to 77.25 and the customer sells his stock by exercising the put, the result is: