sorry, I have no idea about those specific mags. Are you talking 9mm? 17 round mag would most likely be legal (stock length?).
they have to fit the 140mm gauge. Do you have them in hand? Can you make a measurement? length along the back of the mag from bottom to rear/top of feedlips has to be <140mm (actually, something like 140.25mm). If it fits w/in that measurement, it will most likely fit the gauge..
otherwise maybe someone that owns some or knows about that specific gun will come along soon.
I always have a gauge with me at matches. Ask around at your next match and see if anyone has a gauge...
-rvb