I say no. Get an older machine that has belt drive. Way cheaper to keep running. Keep a pair of belts on the truck. Can get the mower going at the customers house in no time. In comparison having to haul it down to a super busy mower shop during peak mowing season LOL. And spending thousands to get it repaired. Finally you get a call 8 months later, your mower is ready sir LOL.
Stay far away from hydros, their oils and hoses, leaks, pump failures and the like. $$$$
Look for an older belt drive JD, SCAG or Snapper Pro.