[jyoung]

It's easy to change everything but player names.

I still haven't figured out a good way to change player names without screwing up the game file.