(Although digital recording is almost always the correct speed throughout the process. From recording session to final product. It is almost impossible to vary the pitch digitally without otherwise mangling the signal. The only clean way to do this is vary the clock speed of the playback.)
That said, there are so many processing options in the digital realm to doctor recordings. Including making the time faster or slower without changing pitch. (No "Alvin" effect occurs if the pitch is the same. Although other strange artifacts are introduced.) I wouldn't be shocked if there was an app out there that even removes the "Alvin" effect from recordings encoded "fast" (raised pitch) relative to the original.
