As a valet at the mall, Davis works 7-hour shifts. He earns $7 per hour and keeps 90% of his tip money. How much does Davis need to be tipped so that he takes home exactly $87.50, before taxes are deducted, per shift?