It seems that there's some people who got their 11k service done. Can you say how much it cost for the service and what they did? I would think it should only be oil change, but someone posted that theirs cost $80 (including promo). What additional service did the dealer do?