If you have a discount club membership with Godaddy, and I imagine with 800+ your friend has one, a .com is less than $8, so that's not $9k in fees, but more like $6.2-6.3k.
It would be close to $9k at any other registrar though, so I suspect your friend will end up like many before, including me, learning his lesson but leaving the domains there.
It would be close to $9k at any other registrar though, so I suspect your friend will end up like many before, including me, learning his lesson but leaving the domains there.