Genaue Modellbezeichnung, wenn diese nicht im Batteriefach steht

Ich habe hier ein HP Envy 17 Notebook, von dem ich leider die genaue Modellbezeichnung nicht kenne. Lt. Google sollte diese zusammen mit der Seriennummer im Batteriefach stehen. Dem ist aber nicht so. Nachdem das Notebook nicht bootet (korruptes Bios, ich möchte ein Recovery mit einer neuen Version versuchen - dafür brauche ich aber die genaue Modellbezeichnung), habe ich keine Software-Möglichkeit, die Modellbezeichnung auszulesen. Wo könnte ich auf der Hardware noch nachsehen (irgendwo muss die ja stehen)?