Our domain has a Let’s Encrypt cert - is that provided by Gigalixir?

Yes. We can generate your certificate for you. LetsEncrypt is a legitimate certificate provider.