Yah, maybe $1k/dimm on 32 dimm system is a slight price bump.