Yes it does need to come out and the trigger points slide out, before doing that check that the big square connector to the left and behind the distributor is seated correctly. This takes the signals from the trigger points and maybe it just wasn't pushed in fully by the shop.