Is there any reason to have a dealer do the 4K service? My local wants $180, plus materials, for the work, and I guess it's just an oil change. If I'm not missing anything in what else gets done, and I'm not voiding any warranties, I can change the oil for a lot less than $180+...