At least some HPWC owners were given replacement chargers with no specific requirement that the old charger get returned, or maybe they ignored the return request. I think that's how it was in the early days of the overheating replacement campaign. In some cases, the defective HPWC is good until 24 amps or more. I'm actually pretty surprised the old(now retired) HPWCs aren't put on some sort of blacklist that disables them permanently the next time their serial number phones home to the mothership.
On that note, if anyone happens to have a spare old HPWC, I might be interested in it! They can be repaired if you have the right tools/skills/patience.