I've never used tightvnc before so I am unaware of the installation. However I found a site that has step by step instruction here
http://www.intercellsolutions.com/content/view/10/33/
Basicly you want to install the server on his laptop and install the viewer on your computer. I'm at class right now, I'll help you when I get back if you have any questions.