Samsung laptop model : nt900x4d-a68
It has Korean keys, but it also has English keys so there should be no problem using it
Came with Windows 8, but downgraded to 7 because the laptop was not fully compatible with Windows 8

128gb SSD, 8gb RAM, intel i5-3317U, 15inch screen

Comes with hdmi cable, ethernet adapter, charger, and slick leather case

Had it for about a year, was made in factory on Jan 2013.

Retail price is $1499 on Ebay (http://www.ebay.com/itm/NEW-SAMSUNG-Series-9-NT900X4D-A68-15-LED-Notebook-Laptop-Super-Slim-128GB-SSD-/171026441490?pt=Laptops_Nov05&hash=item27d1f86512).

Selling for $900 OBO

Contact me if interested or with questions.
Willing to negotiate price.