Depende del fabricante existen métodos de iniciar la Bios con combinacion de teclas.
Lo de quitarle la pila no siempre funciona.
Suele existir un jumper en la placa de reseteo, depende del fabricante, pero si es sin abrir el portátil, launica forma es o con combinacion de teclas o con clave maestra, k tb existen, pero repito k no todos los fabricantes la tienen.
Me parece k tu colega se tiraría una vacilada del 15, dale 3 marcas diferentes a ver si las arranca, aparte k no todas las Bios son iguales.