Update: I went for an additional service since the cassette played lousy enough ever since, and the technician who did the first service did not change the belts assuming they were new - after 40 years, let’s forget about this. I chose a different technician who tried guessing why the belts...