Yeah, I would. I could do with some new programming software as well. I have left him to do it himself, I'm more interested in programming games, it's fun to test them afterwards and I don't have to do as much work (or, haven't had to yet) and it's all colourful too!
Anyone else tried making an operating system? If you haven't, my advice is get someone to help you but make sure they aren't idiots and won't hide source code from you!