Totally unrelated: what kind of mushrooms does Papa John’s put on their pizzas these days?