The coffee merchant plans to mix some fancy $6.50 per pound ground coffee called royal soil with 10 pounds of a lowly $2 per pound ground called royal peasant. How many pounds of the $6.50 per pound ground coffee should he use?