That is indeed strange regarding the original vhs audio being at the correct pitch. I guess (also considering that it was mastered to VHS probably about 10 years ago) that it was kept in sync with video when PAL'd from the original 24fps, causing the normal speed increase, then pitched down to the correct pitch, while still preserving the length fitted to the 25fps footage. ie:

24fps audio sountrack -> speed increased by 4.096%
then -> pitch shifted down by 4.096%

Pitch shifting gives much better sounding results than time stretching, they are achieved very differently. Time Stretching breaks the audio into very small incremented sections, and then timestretches them each by the same amount and then fits them back together. This is what can give the nasty warbling effect in very harmonically complex sound as it ruins the natural and non-uniform vibrations of the sound. This works by altering the time duration. Pitch Shifting is different by that it works by taking the frequency information and of the audio and reducing it by the desired amount.

Thats a seriously simple (and probably not very good) way of describing what happens, THIS goes into more detail, but as long as you understand the difference between the two mothods, you're sorted. Basically Time Stretching sounds shit unless you're only using it on simple Foley sounds or breakbeats or whatever if you are a music producer, it should NOT be used to alter the length of an entire audio track, especially when it contains big orchestral scores. The combination of Speeding up then pitch shifting down will give far far better results. If you're using Sound Forge, you've got the best tools to do either of these things.

But saying all that, you're still best using your NTSC PCM audio Doctor M, and fitting it to the video like Moth3r did with his VHS audio track. Thats gonna give the cleanest results overall.