Change oil pump while replacing pan gasket

If it's fine, leave it alone.