How did they record SFX from the games for the Mario cartoons?

Did Nintendo supply them with the SFX they needed or did DIC manually record from the games themselves? How did they do it? Obviously they didn't have emulators back then or .nsf files like we have today. To speculate, did Nintendo give them a special version of the games with no music so they could capture them? I'm really curious about this.