I just had the pannini in June and was surprised how good it was for a counter service meal (and big). I managed to eat the whole thing, but it could easily be shared by two moderately hungry people.
I called the kitchen directly and spoke to a chef working there. He confirmed that the Panini was back on the menu. It was removed due to Spring Break and the large amounts of crowds. This was about a week ago that I called.