7 ms·

Sure, but that doesn’t change the reality. I would say ‘their loss’, but I think it’s more nuanced than that.