Right, so when I said ECC _might_ not even be taped out, it obviously depends heavily on the die. Sometimes they repackage Xeon dies as extreme high end consum

Right, so when I said ECC _might_ not even be taped out, it obviously depends heavily on the die. Sometimes they repackage Xeon dies as extreme high end consumer parts, but it's very rare and doesn't apply to the general case (and your examples are almost a decade old at this point).