Turns out they also had a giant bulge in the sidewall of their tire so it's another $200 if he wants the same brand + probably $50 for shaving it (assuming they're competent enough to do that) and mount/balance. Although another ~$200 is gonna seem inconsequential.
Turns out he only has a $250 deductible too, so that's good news for him, that would be a painful repair if you had a high deductible.