yea i wouldn't worry to much over them, it doesnt seem like a crazy difference so you probly wouldnt notcice is, especially since the boards are set for gaming and i believe both are only 1 GPU, games most likely you wouldnt notice but also the was they used had slower CL times then what you could possibly purchase
the used Gskill 2133MHz CL 10-11-10-27
also as you can see those test also say the impact beats the formula and actually every other ROG board, and noone ive seen has posted issues theyve noticed with ram speed like that so its probly fine VI formula comes in right below the impact and the VI extreme is right above the gene on the links page
CoolerMaster HAF 932 Advanced/ Maximus VI Formula/ I7-4770K/Swiftech H320/ Corsair HX850/ G.Skill Trident X (2x8) 16gb 2400MHz/ 2x 840 EVO 120gb(Raid 0)/ WD 1TB HDD (Backup/Storage)/ EVGA GTX 1gb 560 TI/ Asus 12x bluray combo