I'm dropping it off Tuesday for him to look at it. Talking to him on the phone he seemed perplexed because he installed the gears himself. This shop is supposed to be the bee's knee's when it comes to Jeeps and pretty much anything 4WD, but I'm starting to lose confidence in them.
To be fair, the TJ Rubicon lockers only existed for 4 years. I don't know how common that style of plunger sensor is, but that has no bearing on how well the gears are set up.