Honestly, inserting compression doesn't sound impossible. Difficult, but a few months and a team of people and it sounds achievable. Warez folks do some crazy stuff.
However, I read some forums from the time, it sounds like the results weren't great. Mainly folks notice sound triggering noticably late. So uh, Maybe instead of downsampling they built a MP3 decoder, but to use the existing system, it couldn't stream the audio, so they had to decompress the clip completely into a buffer before playback?