Sorry but that manager should have been fired, the guy was wearing a hat, he wasn't creating a disturbance in the Restaurant. The Restaurant had no dress code, the guy was wearing a hat and doing his own thing.
I have no sympathy for the Manager.
If the MAGMA guy had been yelling about building a wall, and screaming at suspected da gays, then boot him your in the right.