It's a good question. It's easy to locate Swiss water decaf in the US now, but apparently that wasn't true in the mid-80's, so the answer depends on when and where the caffeine was extracted from the coffee.

https://www.washingtonpost.com/archive/lifestyle/wellness/19...