Mini or no mini
I’d run the mini regardless of whether it was cheap, equal in cost or cost twice as much, who cares. Less weight, impressive cranking and is easy to change out. And you’re less likely to scratch the header tubes all up replacing it if needed vs the big heavy version