Anyone actually been to one? Is it a jeans/dress shirt/blazer type event? I'm leaning towards Texas tuxedo as recommended in the email, but does that include bow tie/cummerbund? Never tried wearing Texas Tux before, although I typically do the aforementioned attire for business casual. Don't want to overdo it, but rather overdo than under dress.