You can buy a Honda Rancher 420 footshift, a Honda Foreman 520 footshift, or a Rubicon 520 footshift. Of the three, only the Rubicon is IRS.
I sold my 2012 Polaris Sportsman 400HO (6,400km, 4,000 miles trail riding, snow plowing), which I bought new, and bought a 2021 Honda Rancher 420...