Does anyone happen to know the brand name of the "Spicy Bloody Mary Mix" that Southwest Airlines serves on their flights? Thanks L.B.