The beer is actually Red Stripe. I have seen the delivery and the kegs and they are most certainly Red Stripe and Red Stripe Light (when available).
The beer I had at Fun Holiday yesterday was cold. Any place that serves draft beer can be charged with health code violations if they do not keep the kegs refrigerated.
Good to know that these places are honest. Thanks Rob.