If you don't mind me asking:
How do you know it is only OC'd 3200 or 3500?
I'm leaning towards the 3500 because I can get tight timings of 2-2-2-5, and I do not plan to OC at first. When I do OC, I believe I will have some nice RAM to OC with in the 3500.
However, I can get 1:1 FSB ratio with the 4000 but sacrifice tight timings while I'm not OCing, since the tightest timings on 4000 is said to be 2-3-3-6.
Not sure.
What do you think?