What I noted does not apply to a dual core i7 Ultrabook.
You should be fine. Although I'm unsure I would have dumped that much into a laptop like that with other i5 ultrabooks running less. Example at http://www.amazon.com/Sony-Series-SVT13112FXS-13-3-Inch-Ultrabook/dp/B0080C225Q
That's less than 800 and I own a model that uses a similar 32GB drive. It's really great.
Your selection is almost double the price yet I worry it's not double the machine. For my selection I could use it till it died and with the money saved, buy a new thing in a few years.