Even if it is a full service, it is very high for a calibre 5. We recently saw that servicing a H02T tourbillion (!) costs just above 1k. Where are you located, curious to know where servicing is so expensive?
You could pretty much take a low cost flight to a country like Germany, pay 400 Euro for full service and fly back this would still be cheaper than your local mega expensive service