Turns out my PowerBook gets to go back to the repair depot, as they fixed the hard drive, but managed to break the keyboard in the process. It's usable, but the F1 and F2 keys are only registering about 50% of the input I give them, so I guess I get a new keyboard now. If this keeps up, maybe they'll give me one of the 1.5Ghz models soon...