Hi This is probably a really stupid question but one which Google doesn't seem to be giving me an answer to and that is will the OCZ 512GB Vertex 4 (M) SSD or Samsung 512GB 830 Series SSD or similar be ok with windows 8? Thanks Lisa