I called the service dept and they told me that an internal charging code only allows for 7 quarts to be entered into the computer. They said in actuality 10 quarts was exchanged. Does this sound credible?
most likely, the technician was clueless about how much he added. check your dipstick. if it is full, i would not worry about it.