OT: Music file format checker

#1
I have downloaded some music files where RealPlayer says the @ext[filename] doesn't match the file format. Since there has been some talk about good/great/excellent utilities - didn't know if a list member knew of one that would tell me what the actual extension should be - based on the file format? Appreciate any help you can provide.

Charles G.