Thanks for all the comments. One final question before I buy; are there any difference between a card that has OpenGL 3.1 to one that has OpenGL 3.2 as far as mining is concerned?
it shouldn't that would only matter if you were rendering video using opengl, but i could be wrong.