Did Thermold ever make a 20 rd. mag for the Mini-14? In all my years of owning Mini's I've never heard of or seen one.