Thanks, Pam; someone had a 1957 Polk directory listing for a Happy Buddha tavern; someone doubted that that would have been a casino.