Change oil pump while replacing pan gasket

Would you change your oil pump while you are replacing a pan gasket? I have a leaking pan gasket on the Ramcharger that I'm changing. Runs great, 140,000 miles, bone stock and has great oil pressure. Just curious
Nope.
Unless I decided to change the oil pump, leave good alone.