Ich war etwas vorschnell, habs jetzt abgeholt und alles ist in Ordnung (der Typ am Telefon muss sich irgendwie vertan haben).
Sehr komisch finde ich, dass nach der Reparatur mein Windows Passwort weg ist, dachte nicht, dass die ins Windows booten, sondern irgendwelche eigenen boot-CDs/USB...