If this happened before it went to VPC they would have repaired it and you would have never known. It seems like a minor problem. I would let them fix it and then see if they did a good job. If they did not do a good job then I would consider ordering another.

Chuck