Besides, the nice thing about students is that they have the rest of their lives to do something important.
I mean, personal experience here: to at least some degree, what I will do today is important: I'm helping a company help their thousands of customers help their millions of customers. Yay. If you were to flip back five years to the second, I think I was probably in a WoW raid. And there were spreadsheets for that WoW raid, and a complicated compensation system to maximize participation from 60+ participants (40 on any given night), and political issues, and blah blah blah. Five years later, does anyone remember that we killed the dragon and got the purple pixels in 3 hours instead of in 5 because of obsessive optimization? Probably not. Did obsessive optimization really help me out in the intervening five years? Oh heck yes. Is it going to help my client out today? Oh heck yes, except 5% of "really freaking big number" is better than 5% of what my sales are.
Who knows where this kid will be in five years? He could be an architect. He could be a project lead. He could do something really important, like being a dad.