Your list seems pretty much identical to the one I drew up of replacement TVs rocket except I added the 55F8000 to it. It came down to the Sony W9, Samsung F7000 and 8000 and a VT65 when I auditioned them and I've a feeling the same will be true for you, it's a personal choice but any of those are a good bet.
Yep lost all my settings when trying to rectify a slight niggle with the Smart Hub of the TV which had slowed to a crawl and took the advice on the Samsung UES8000 thread here:
http://www.whathifi.com/forum/tvs-and-projectors/samsung-ue55es8000-warning
which turned out to be incorrect advice and instead of doing a so called "soft" reset it reset EVERYTHING! It even wiped my entire Smart Hub and just left me with the web browser, it's taken me a few days to get it all back as I wasn't able to access the Samsung portal for downloading apps as that is an app in itself...I could shoot the person responsible for that misguided advice as it's caused me all sorts of issues but serves me right for assuming an ES8000 model would be the same as F8000.
Fortunately getting the calibration results back into the TV was simple enough as I just copied the report which detailed every setting but it was still time consuming and not what I expected, I've left a warning on the thread for everyone else so they don't have to go through the same hassle but it's mostly my fault so lesson learnt and it's all back and working correctly now