The OCZ Vertex4 was diagnosed dead by the store/support center as well, but they don’t sell OCZ’s anymore. They offered me a replacement drive instead, and with a small extra payment I bought the Samsung 840 Pro 128GB.
And since I need to reinstall the whole shebang anyway, I bought Windows 8.1 as well.
New disk + Windows 8.1