I went digging to get more information on implementing this request. I found the Datum info which suggests to me there are three different Datums that can be used here depending on location. These datums obviously correlate to a particular TM zone (54, 55, and 56), but I am not certain which datum goes with which zone.
I provided the info below you can use to create these mapinfow.prj entries with a custom datum. If you create the entries and try them out to make sure they are correct, I would be happy to include them in a version of MIPro.
Technical Datum Info
http://www.aspng.org/agd66.htm
Projection Parameters
https://epsg.io/5550
https://epsg.io/5551
https://epsg.io/5552