Sounds like you've already decided but I think I may have some insight for you. While waiting for my hp envy 15: last gen, 1080p screen, a REAL i7, 5830, WITHOUT A LIT KEYBOARD ARE YOU KIDDING to get back from hp for repairs I decided to pick up the new 13mbp to try out the os, first time mac buyer. I've played dead space, as well as many other games, on my envy and it ran very well on, almost, MAX settings. The 13mbp is NOT for gaming AT ALL; you will not be satisfied coming from your envy 14. Unless you're okay with running on extremely low settings and still only getting ~30fps on newer games. I use to have a custom built pc and anything below 40fps, at any time during gameplay, is just not acceptable IMO.
HOWEVER
My envy battery life is like 1.5hrs while the mbp is about 5 hrs, with NORMAL use. I've been able to pull 6.5hrs but that was with abnormal usage to maximize battery life. And I do like the mbp design better. It feels more solid and, in my case, quiet a bit smaller. Also under non-intensive usage the mbp stays cool and is very quite. After 3hrs of use the base of the laptop gets warm, but this is not a biggie even though I generally have it sitting on my lap. My envy gets *&@*^&$# HOT; like dont let the children near for sake of possible burns. It's also so loud, if gaming, that, when I using team speak/skype, I need to use headphones with a separate mic so we can hear each other. Also I do like the screen on the 13, while I'm not planning on watching hi-def movies or image editing on it, it's pleasant to use. It's also an led while the envy is lcd so its a little more vibrant IMO
In summation, the envy is a WICKED portable desktop while the MBP 13 is a sexy LAPTOP. In terms of OS its just a trade off there are pros and cons to both IMO; it just depends on what you'll be doing.
I'll be selling the HP (in its defense its partially because I want to avoid spending time gaming)
