It's good to know that someone is finally making a decent after market mag for the Mini. Considering that it's less than half the price of the Ruger factory version, the 10-rounder you mention might be just the thing for our Forum friends whom live in 'restricted' states.
DGW