IANAL, but I'm wondering if this license really is GPL3? Because it's like a modified version of it - "GPL3 with a condition". From there, that possibly non-GPL3 license says that you can "use" the software, but not redistribute it.

But anyway it sounds like he needs to decide what he wants, and that's probably a non-open source license, if he doesn't want commercial use.