Thanks for the reply Aero, I was afraid of that... I'm just really surprised the guys at the shop missed it. I guess it's probably cheaper (both in money and time) for me to just replace the distributor myself, instead of going back to the shop.