Do not hire as employee. The collective cost of dealing with the annoyance will far outweigh the geek's contribution.

However, consider hiring him as an on-call "consultant" for "special projects" in case the team falls behind schedule. It might motivate them to get ahead. :)