5k would get him the installer. Anyone could install the program, it doesn't need a server or anything.

He isn't getting the source code, just the executable. I also don't want to have to deal with licensing since that could complicate everything.

I really don't think it will save them much money, just aggravation. That's why I am having trouble pricing it. It is difficult to put a price on aggravation...