Get him another laptop, preferably Dell (just because I have great experience with them) so he can install Ubuntu on it and have a linux dev machine. This way he can develop software for linux servers (such as a web app or data science tool) without resorting to Linux subsystem for linux and all the related shenanigans.