If that’s the case, Rotax is the way to go for sure. I haven’t read up on the KA but it looks like what I was thinking may have been off base.Local it's Rotax (micro > mini > Jr) then KA Senior (IAME KA100). There's only one ROK series and it's tiny, so nobody races it.
FDM are one of the top Rotax and KA tuners in the country, so it's a win-win.