Joe Fineman's "Destroyer Benson" is also sung (at least in the filk community) with the names slightly changed, to "Benbow" and "Kuliakowski". I understand that he originally wrote it that way, but that since the decease of both participants he has reverted to the actual names.