I'd say that you are correct then. Is there a difference in size based off of model year? Still not sure that it is worth the $10 socket, but then again, I am trying to keep the cost down so that in the end I don't just say "why didn't I just have this flushed professionally for $85?"