Es wird repariert oder getauscht, aber nicht gegen ein neues Gerät, sondern gegen ein generalüberholtes Ersatzgerät. Aktuell wird es wohl etwas länger dauern, kann aber auch sein, dass sie es gar nicht machen. Je nach dem.