That is the route to go. Because the file name gets loaded into the user's session, I imagine there can be some severe communication problems if you were to rename the file while people are connected. It's very, very rare that I ever see the need to rename a file.
Thank you for the answer! I was hoping there was a way to do this, but that's understandable with possible communication issues.
However, it wouldn't be a bad idea if you could just close it in the admin console and then be able to change the name before reopening it. That would solve those communication issues I would believe.
Thank you again!