God I loved that lobby and the art deco + mexican combination art style. I found a high res version of that mural as a wallpaper at some point but am coming up short for the link right now.