After eating a meal at a restaurant, we decided to tip 25%, building a grand total of $87.50. What was the price before the tip?