Pretty much all my music is 256 kbps. iTunes says I have 32.5 GB of music. My iPhone 4 says I have 22.2 GB of Audio. I have the "Convert higher bit rate songs to 128 kbps" selected. Using some basic math skills, I think the size on the iPhone should be <17 GB. How can I reduce the audio size to about 17 GB?