Which file are you talking about. I cannot find the menu.xml file. Maybe I misunderstood. Changing the rwgmixer does nothing for map size (neither 12.5, 16.4 or 18.4).
It does however change the road sizes, POI's etc etc. I found that info. But the map size at the top of this rwgmixer file does...