I don't have any experience with any of these but that is where I would start. kinda doubtful that he would want to use Linux but if he did I use Openshot for basic editing and Kdenlive for a more powerful editing system. Unfortunately neither are available for Windows :'(