Yes, it was called. "Dome of the Sea"
I ate there several times in the early 80's. I did not know Borland.
