Jumbo is a dining establishment.