Lighting system for micro theater - suggestions, tips, etc. please!

I'm newly involved with a non-profit organization that has a small (50 seat) theater. The theater is used for movies, theater, and musical performance. The lighting system is in dire need of an upgrade and no one currently involved has any significant lighting expertise.

I'm looking for a set up that has at least four lights, ideally able to be controlled both programmatically as a set as well as individually.

Would you recommend a physical controller or a software controller? I know Mac doesn't have a lot of great options for software but if there is a recommended solution that has support for both PC and MAc that would be great.

Your help is greatly appreciated.