Can you folks help me with a question about carrying head mics?

I just bought DH a really nice Audio Tech hanging mic. He needs it for giving lectures in foreign venues. It came with a 'receiver' that is about the same size as an iPad but about 4 inches thick. It also came with belt pack. Can he carry this onboard in his roll a board? Thank you!