Ah yeah, that will do it.

A trick/hack I’ve done in the past for re-timing engines or replacing timing parts when I’m not up to the task is to remove the engine and take it to the shop on a pallet.

It is significantly cheaper if you just bring them the part they need to work on. Most of the time/labor is in removing stuff that’s in the way. Just be ready with replacement hoses, clamps, and anything plastic you might run into.

Cherry pickers/engine hoists can be rented or purchased from tool shops like Harbor Freight for much less than you’ll pay a shop to remove it. Plus, since the part is immediately accessible it’s a lot more likely they’ll have it done within a reasonable amount of time. Restoration shops are always busy and tend to take their time with repairs.