Here in FL, there were 2 main clones of nam doc mai being sold. Previous to about 2010, the clone found in most nurseries was a large tree and took many years to begin regular production. After around 2010, the #4 clone came into popularity due to its generally smaller size and better precocity. However, it does seem to have a problem with splitting, and the tree can become stunted.
Unfortunately, I don't know what the non #4 clone is called (perhaps it's the 'Mun'?). Alex at Tropical Acres Farms will likely know.
My neighbor planted the seed of a #4 mango, and it has characteristics more closely resembling the regular / non #4 cultivar.