We'll be optimizing file names moving forward, but it hasn't been done in the past. I have probably 1,500 that would need to be changed, so want to make sure it's a valuable use of time/worth the effort. 
Also, has anyone used Media File Renamer for wordpress? Seems this would be a good way to rename files without needing to reupload everything. Thanks!
