Old Dog - 1988 Polaris Trail Boss 4x4

[JJZ 109]

Just picked up one of these to haul a tow behind boom lift around job sites. It starts up right away with the pull starter, but the electric starter is shot.
Trying to come up with an OEM part # so that I might find a replacement. So far I come up with 3083760. Can anyone verify the accuracy and tell me if I'm headed in the right direction?

 

[JJZ 109]

I think I've located one at Dennis Kirk. Looks like a 20-9380 if anyone else is in the market for one.
mfgsupply.com is also poking around for me. They may have a lower cost alternative.