The Paving company used 10 tons to pave 1 street and 5.1 tons to pave another. How much was the difference between the 2 streets?