Are there any benchmarks comparing Intel Core 2 Duo Mobile chips with DDR 533 and DDR 667 ? Just ordered a new Dell laptop and it ships with DDR 533, wondering if upgrading to DDR 667 is worthwhile.