Mike,

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.