Miguel has $20. If he spends $7.25 on a movie ticket, $3.95 for snacks, and $1.75 for bus fare each way, how much money will he have left?