I would have them remove the side cover and pop out the battery on the motherboard, with the system turned off. This will reset the bios. The battery is usually round with the numbers 2032 lithium for desktops. Press a small flathead screwdriver against the flat portion of the battery bracket, and the battery will lift up far enough to remove. After one minute, reinstall with the flat side up.