I have a DOS machine where a student has assigned a password to the BIOS without telling anyone. Is there any way to get rid of this password without pulling the battery? The student does not remember what the password was set to.