Definately take it back and have them do it right. As said before, it's a matter of principle.
I took mine to the dealership to get the oil changed (3rd gen, hate doing it myself) and because I don't know when the last time it was done, the differentials flushed and filled. Of course, to my...