I know I’m pretty slow - but I just realised that when ANV filed for bankruptcy they stated they were $543M in debt. According to your approximations they will be an extra $137m in debt on top of that $543m at the point of selling the company - if not more! Your total is $680m. Unbelievable, truly.