While moving found I still have my old P4P800SE and OCZ Booster. Saw these floating on eBay and decided to grab them. Anybody know if these are TCCD or the bad stuff that came afterwards?