It may not be there for him if he only has a vB3 license and it has expired. If you have a vB4 license, then you should be able to go to http://members.vbulletin.com/ and click on the Download vBulletin Forum 4.x button and it should be there. There are articles over on vbulletin.com at the Home tab regarding how to upgrade.