RAM: PC6400 vs PC8500?