Should come out money ahead to sell and buy the shorter length he wants. I know where a pair of 6.5" guns are in my area. If he wants a 7.5" barrel, there are Single Sevens in that length also.
He can do what he wants, it is his gun but i would leave it be.
Thanks,
32Magfan