Ich bin sicher kein Spezialist auf dem Gebiet, würde aber sagen, dass das generell ganz gute Preise sind.
Ich habe beobachtet, dass der Preis von gebrauchten Atmos Modellen stark vom Servicerückstand abhängt. Außerdem scheinen generell ältere Uhren (80er und 90er Jahre und wenn es nicht irgendwelche besonderen Modelle sind) tendenziell billiger zu sein, weil wohl der Service für die etwas älteren deutlich teurer ist. 70er und älter wird dann schon wieder teurer.
2,2-2,4k für eine ca. 20-30 Jahre alte Atmos (mit Service-Rückstand) wäre aus meiner Sicht ok.
Aber wie gesagt, ich habe das selber nur vage verfolgt, weil meine irgendwann mal zum Service muss und ich daher ein bisschen recherchiert habe.