Martini Monkey to be demolished

They are getting ready to tear down the old wing of the San Jose Airport where the bar was, I read in the paper today that someone removed a mural that their father had painted of the Ohlone Indians. Has anyone heard anything about the mural that was in the Martini Monkey?