i think you should go with 533.
according to google the 533 mhz, or 800 mhz is how many million data transfers it can do per second.
so obviously 800 is better. but depending what the pricing is, i wouldnt bother using 800 unless it isnt too much more expensive.
you could always go for 667 mhz. lol