Aladdin Burger is a restaurant.