Ok, so they have to. Or else what? Back of the envelope, it would take somewhere between 200k and 1 million years of 24/7 work to pay it back at that rate.