Miguel and three of his friends went to the movies. They originally had $40. Each boy sent a total of $7.50 on a ticket. How much money did each boy have left after buying his ticket?