It's moot now, but I'll agree with ScottC that just about any brand is fine. I have a Samsung in my personal laptop becuase it was cheap when I was looking. I had a OCZ Vertex in my previous computer for a few years and it too was fine.
I think Samsung and maybe one or two other companies make all the flash chips in all SSDs anyway.