Just stumbled upon this info after commenting on a Youtube video of just the song Panama;a guitar tracks and noticed the big sounding reverb from (room mics I assumed) and someone responded it was a post reverb but didn't say exactly what kind, so I went on a Google expedition to find out. This seems about right for the time and was mentioned as a possibility. I don't know if emulating it does it justice, but I looked for some impulses (and there's Waves and UAD EMT 140 emulation plugins also).