Är det nån som vet hur mycket en stor service på en S8 4.0TFSI kostar. Nån sa att det var 17000. Kan det stämma?