The RAM is 2x G-Skill 8GB (2x4GB) DDR3 1600Mhz RipjawsX Memory Kit CL9 (9-9-9-24) 1.5V. That's 4 x 4GB sticks. The BIOS itself describes the RAM as running at 1600MHz, and this figure can't be changed. I tried changing the timings to 9-9-9-24 (from 11-11-11-28 which is what it's automatically tuned to) as described in the spec but this made no difference at all, except possibly an increase in errors per second.