record and play audio with pitch

PLEASE tell me if I’m wrong but from what I’ve understood, we can’t record ( media.newRecording() ) and playback ( audio.loadSound() ) a “pitched” sound on an Android device.

I state this because of what is specified in the API docs (and two days of testing and failure I’ve just faced).
So according to the docs the only format available in media.newRecording() on Android devices is exclusively the 3GP.
I confirmed this by trying all sorts of different file extensions… but audio files always came out encoded as 3GP.

After the recording finished I want to read the file with audio.loadSound() because of the OpenAL features that it supports (I want to apply pitch to my audio playback)… but this function only supports WAV MP3 and OGG formats on Android.

I know I can read 3GP audio files on Android using the I-guess-soon-to-be-deprecated media.playSound() function, but it do not give me the functionality I need… plus the warning stated in the media.* library page should be enough to exclude it from any project.

Is this really a dead end?
Any alternatives I’m not seeing?

Paulo Silva [import]uid: 123114 topic_id: 30615 reply_id: 330615[/import]