Hm, 800, wenn es eine zuverlässige Werkstatt macht, klingt jetzt nicht krass übertrieben viel.