Yes, part of it. I expect the whole thing has cost a hell of a lot more than that, already though.So would that $100k be part of the costs that IB would try to get awarded against XenForo in the (unlikely) event that the Judge decides in their favour?
$100,000 is probably small change compared to the rest of the fees incurred by both parties.