I'm willing to try that, although I haven't changed the default timings. Any ideas on how and what I should set the timings to get some more out of this particular brand of memory?
You already have good enough timings of 15-15-15-36.
Maybe 3200mhz 14-14-14-32 would be "best of", but not that much needed since you already are on 15.
My opinion. There is nothing better than trying, benching and comparing the results. :)
Try if your rams are stable on these settings.
If you loosen the timings (~16 or higher) more Mhz will(might) be possible.
I left my as it were and just added 200Mhz and it runs without a problem. But mine are GSkill Trident.
Anywayse the venegance are really fine dimms! Try!