A stationery shop offers pens at a unit price of $1.50 each, but you can also buy a box of 10 pens for $13.00. If Peter needs 25 pens, how much money will he save by buying the pens in boxes instead of individually? Let's think step by step and output the final answer within \boxed{}.
user