Hi folks, I think it's time to retire my 13" MBP Core2Duo in favor of a new machine. Possibilities are a new 13" rMBP, or ... maybe... a new 15" rMBP. Here is my question: Because my eyes are not what they used to be, I am constantly "Command-plussing" on my 2010 13" MBP to make the font larger. Hence, I'm attracted to the rMBP with its ability to "scale." I have tried this in the store, and see the limitations with some web pages, and etc., but the eyes want what the eyes want, and it's a lot better than "command-plus" constantly! I have read numerous posts about the 13" rMBP "lagging" when using scaled resolutions, but it seems that most people are referring to scaling "up" to get more screen real estate and higher resolution. However I would be scaling "down" to make the print larger. If indeed there are any lagging problems, would they also apply to scaling "down" --- or is it only a factor when scaling up? I might still choose to get a 13" rMBP, but I'd like to understand if it is just because of scaling at all, or more a factor when scaling up to higher resolutions? (Of course the extra screen real estate of the 15" would be nice, but because I travel a lot, plus tend to usually lie on the couch/bed with the computer propped up on my knees, I think the 15" might feel a bit too bulky (even though it weighs no more than my current 13"). So the 13" rMBP is the top contender right now.) Thanks all!