Out of curiosity, has anyone else seen BCH9 chips out there? My work place just got a batch of RAM for upgrades and it's Samsung BCH9 where previously we got HCH9.