Hi all...guess I'm the new girl...
I am sure he did but you may want to ask your mechanic if he lined up the marks on the the gears. Is he having trouble timing it properly or getting it started? Also, you may want to have him check the distributor drive gear for any issues.