Do you mean that instead of replacing that receptacle the shop ran a new circuit? Maybe they tapped the new plug off the same circuit ;-)