Pizzeria Jimmy is a fast-food restaurant.