The thing about the SandForce BSODs is that they manifested themselves as random F4 errors, which is exactly what you're seeing. It took Anand & crew quite a bit of effort to come up with a reproducible test case for SandForce to actually fix the issue. Ultimately you have some other good suggestions here worth following, but I wouldn't rule out the SandForce BSOD because it's random; you should rule it in because it's random.
Good call. I'd +1 this if I could.