There is a plugin to rename media files - it manages all occurence of the name in database - and a very convenient other plugin that find the media files when you search for post title ! It can save you a lot of time.http://wordpress.org/plugins/media-library-search/ Some plugins rename automatically uploaded files - with post slug, date and so on.