Awesome, Jeff! Good way to avoid legal issues. Although, I believe it's actually some random company in Japan that owns the rights to the DK code (after the lawsuit back in the '80s over Nintendo using DK code for DKJr without permission), so I doubt they'd bother us at all. But still, better to be safe than sorry, I suppose.