Haven't looked at those, no. I went with Mushkin's Chronos.

Couldn't believe how fast it was!

Then it just went unresponsive and wasn't being detected anymore. Tried it in another computer with different cables, etc. Same deal. Sucks but I'm hoping it was just a 1 in a million case and this isn't a problem they've been having with the line.

I'm currently using an old hard drive I found in the garbage as a temporary replacement, just so I can use the computer.