Besides considering what the other answers recommend (and, let's note that it's worth checking out similar questions - like, as Brian mentioned: "How do I deal with an experienced player who doesn't interact well with my group?How do I deal with an experienced player who doesn't interact well with my group?" - and their answers as well), I'd say, there are two further options.
Note, though, that the best answer - in my opinion - is the one @BrianBallsunStanton gave herethe best answer - in my opinion - is the one @BrianBallsunStanton gave here. I'm just offering a few alternatives to consider. :)