while your developers work on the framerate fix for 3D can you also ask them if they can add automatic refresh rate switching for 25fps/50i sources also.
I have a lot of recordings from European TV broadcasts that are 1080i50 and they don't look good at 60Hz. I know that I can change the mode manually but then the other 1080i60/59 files are bad.
I think it's very important for a media player that supports the correct output modes (as this one does) to have the ability to automatically switch between them.
I also think that the switching between video modes when the file ends is unnecessary. Obviously the Micca supports rendering the UI at all refresh rates so why not make an option to force the player to stay in the last used video mode? I think this will greatly improve the user experience.