I think since wires are pretty cheap, just wire for 7.1.4 and install 4 ceiling speakers (at least 8" speakers, no more than $200 each).
In the long run, he doesn't have to use 7.1.4. He could still just use 5.1.2 if he wanted, but the options are open if he wants to try.