General Bike Ravings

Well just picked up my scooter from a service. It was going to be just routine oil & air filter but of course ended up to be more.
A grand total of $930
The bike had done 12500 km and always been serviced . Had airfilter replaced 6k last time. But this time required the belt drive and variation rollers replaced plus plugs, oil and airfilter. Was this value for dollars for the bike, considering you can now buy a new one for $5990 the ORC.
No complaint against the scooter ...