$400 is very reasonable to me. I have never done service with a shop other than my dealer, is there a way to find reputation of local shops?