Yes, they need to be replaced; same name and extension. Only WAVs can be used.

Cheers, Duke John