Owen Mixes purple paint. He uses 3 pints of blue paint for every 5 pints of red paint. He has 17 1/2 pints of red paint. How much blue paint does he need? (proportion)