At the discount movie theater, 5 movie tickets cost a total of $7.50. At this rate, how much would it cost for 9 movie tickets?