Notebook nach Reparatur ohne Betriebssystem

Hallo zusammen,

meine Frage bezieht sich auf den Fall einer Notebook/PC-Reparatur im Rahmen der Gewährleistung. Es muss die Festplatte getauscht werden wg. defekt. Der Tausch ist durch die Gewährleistung/Herstellergarantie abgedeckt, jedoch wird das Gerät anschließend ohne Installiertes Betriebssystem zurück gegeben. Begründung klingt plausibel: Herstellergarantie deckt nur Hardwareschäden, die Installation des OS ist damit nicht inbegriffen.

Nun die Frage: Wie verhält es sich innerhalb der 6monatigen Gewährleistungsfrist gegenüber dem Händler. Ist er mir gegenüber verpflichtet das Gerät mit Betriebssystem (im Zustand wie gekauft) zu übergeben?