He just messed with the Dock or he messed with the Library folder? I hope it wasn't the folder.
Either way I'd recommended downloading TransparentDock, or TinkerTool, and they have options to change the Dock around, including the Restore Defaults. Hopefully that should help ya.
www.versiontracker.com