Any ideas on how long it would take a decent mechanic to replace a the inlet manfold gasket? I might need to get mine done soon.