Just wondering the cost of 10,000 mile service

What other people paid probably isn't that informative since labor rates vary dramatically depending on part of the country and in some cases which country you are in. Here in Northern CA I would expect something in the ballpark of $700-900.