Nothing useful from wireshark, are they experienced in using it? What segment did they plug into, because the issue is obviouly between the FW and the core switch or the switch it's self.
is the connection you're pinging across part of the etherchannel? If so you should inspect those ports...