Some files are harder to rename, for example if the permissions are messed up. For that, it requires a trip to the Terminal:
mv startingfilename newfilename
Note that this method requires you to know the extension at the end of the file, and also you must cd to the directory that contains the file.
Reputation Points: 2240
Solved Threads: 338
Vampirical Lurker
Offline 5,055 posts
since Apr 2006
Unsolved 
