I would probably homeschool math using something rigorous like Art of Problem Solving. If he is used to coasting and it is half as challenging as I have heard, it will be an eye opener for him. I have heard it is both very difficult and very rewarding and enjoyable for the truly mathy kid. They have an active online forum so he could find peers to talk to online about the math...