Rename files using Contribute

I had a user today publish a new file named "indexi.asp" He intended to
name it "index.asp" but did not realize his mistake until too late.
So we now have a file called indexi.asp on the server. Is there any way
to rename it using Contribute?

The file uses repeating regions, so we can not merely copy the content
and paste it into a new file of the same template.

I can perform the rename in the back end, and they can via a direct
(network share) connection to the folder, but I'd rather encourage them
to do everything from Contribute if possible.

Thanks.
-Ben