We aren't there to check this ourselves vs. the shop which has had the car, so we *could* be wrong but logic dictates that this fault is either a faulty starter solenoid or the wrong model starter solenoid.
Maybe they fitted a part meant for a Mack truck or something...?!