I would assume that cost to be minimal, considering their PR never got merged. And if it were me I would consider that well worth the entertainment.

Also part of the process as whole. What if someone tries to attach us with insane amount of bandwidth is almost reasonable thought experiment at some point. Now it was this one. Can we handle it? How much could we handle? What is actually reasonable thing we could sustain. All somewhat interesting questions.