there is an open source version of the gamestudio engine? sure, with the engine he can do anything he wants but he can´t use the GPL for anything he wants. you can´t combine open source and closed source (the engine) like that.