Helping my boyfriend

Hi guys! I came on Reddit to help my boyfriend with extending his penis. He’s 6 inches long and 4.7 in girth. He feels insecure knowing I been with a guy who was 9inches (painful btw and not enjoyable). Do penis pumps help grow his penis permanently? He wants to get it to 7inches long but cares less about the girth. Any recommendations?