Remove numbers on end of file name?

Some of my users are uploading files that have dimensions in the file name, which gets confusing when you know that WordPress is also creating files that have dimensions in the file name.

For example, myfile.jpg when uploaded gets at least two, maybe three versions created by WordPress: myfile_200x200.jpg, myfile_800x600.jpg, etc.
That’s fine and dandy.

But if my user uploads a file
myfile_3000x3000.jpg
then WordPress creates
myfile_3000x3000_200x200.jpg
myfile_3000x3000_800x600.jpg
which is sort of horrible. The “intent” of the original filename is not appropriate in the generated images.

Can you add an option to strip the number X number before .extension?
That is, if I upload
myfile_3000x3000.jpg
you rename it to
myfile.jpg