Just a FYI. A slight modification (based on my computer) Jeff Schewe's method worked. For reasons not known by me yet, loading the 3880 epson drivers on the laptop still did not show the icc profiles for the standard epson papers (maybe the printer needs to be connected?). So what worked was Library>Printers>Epson>InkJetPrinter2>ICCProfiles>Pro3880.profiles Control click and choose Show Package Contents. Then one can copy the profiles or also use the option to Copy Profile Contents.
Thanks for the help Jeff. By the way, if you want a heavily used, dog eared, highlighted (highlit?) profusely commented copy of the Digital Negative and the Digital Print, send me a message! They look like they have been through the Bassamatic.