John decided to buy 10 pins for himself.  They are normally $20 each but they were on sale for 15% off.  How much did he spend on pins?
Please reason step by step, and put your final answer within \boxed{}.
user