Ja, an die 1.200,- hatte ich auch in etwa gedacht, so falsch lag ich also damit nicht.
Die war das letzte mal vor ca 2 Jahren bei service, wurde aber kaum was gemacht ausser entkalkt und paar Dichtungen getauscht.