You have the restore disks - boot off the restore disks, and launch disk utility from there... or just use them to reset the admin password - if the techs complain, just tell them you want to have a second partition for use at home, where its none of their business what you do.