> A bootdisk seems to be the only solution (except for putting the
> harddrive into another computer and doing it from there).

I missed that he uses grub, but that doesn't change things. By using
'e' to edit the default entry, and then 'e' again to edit the kernel
boot line, he can add the 'init=/bin/sh' to the end of the line and then
hit 'b' to boot the changed entry.

--Dan