Did you guys have Permission from Trevor to make this game?
of course you need permission! Just because its non profit doesnt change the fact the character is protected by copyright. When you make anything related to the character (in this case modification) you still need permission.
Yes, I contacted him before release and made sure he was properly credited.
