http://www.neogaf.com/forum/showthread.php?t=1333445
There ya go. Was kinda hoping they could get it to 1080p in docked, but 900p is better than nothing.
I'm guessing that means Mario runs at 720p docked and probably less than that undocked (540p?).