Miguel has $20. He spends $7.25 on a movie ticket, $3.95 for snacks, and $1.75 for bus fare each way. How much money does Miguel have left?