The current DK rules say:
"Score Level for extra Jumpman: 7,000"
For a long time I've been thinking of removing this rule. I believe the very low score required for an extra life on any setting (7K, 10K, 15K, or 20K) doesn't have any meaningful impact on a great, average, or even "below" average game. It should also be noted that 10K was the rule back in the early TG days. So old scores on the HSL would likely have been done on that setting. There's also the possibility that someone sets a score in a live setting where the settings are "incorrect" (though, I'm still wary of accepting a 4,5,6+1 game in this kind of scenario).
So my proposal is to change the rule to:
"Score Level for extra Jumpman: Player's Choice"
We could also make this change for CK, DKJR and maybe D2K.
Another thought would be to institute this change and then remove any score on the HSL below 20,000. Then we would theoretically have a HSL where every score was done on 4 lives (except Ethan ⚡⚡⚡). I'm open to either side of that argument.