The Marina was actually incorporated into the structure of the MGM.
Scroll down on this Marina history page...
http://lvstriphistory.com/ie/marina.htm
()