I've recently had it serviced. These have no effect on the operation of the unit. I bought this for £2,200 so £695 is a bargain given the light use.
eBay