I've tried checking for some information but have not had any luck with the names of individual seals or sea lions held during that time frame.
What I did find was that in July 2008, the exhibit was reported to only hold harbor seals, and two years later seemed to hold only gray seals. There was a "reset" in early 2013 when three young male harbor seals were acquired and were the only individuals held at the zoo, and for many years now the zoo has held them alongside gray seals.