Except for the fact that according to the official site , she is given a name based on Japanese (真朱, meaning essentially "pure red") which is explicitly defined to be pronounced ましゅ ("Mashu" by our romanization rules).
This is corroborated by Anime News Network and the Japanese entry on Wikipedia.
Updated by Shinjidude