Right and you cannot set the resolution to scaled 1920X1200 then. Oh, wait, you can.
You could also download the setres command line tool to set it to the native resolution any time you wanted.
I've successfully run my rMBP in 2880X1800 mode.
Guess what Sherlock, you're right
And why did you mention your 15" again?