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