Coworker's PC power supply has died. I found an old one in storage and it works fine but when the replacement supply is installed into the case, the 24-pin and 8-pin cables aren't long enough. I would have thought that every computer supplies place would sell simple extenders, but no, these are not much of a thing, presumably because they're not stylish with absurd RGB LED fixtures. I'm going to have to mail order them, aren't I?