If $172k debt is still there it's still a convertible judgement payable unless there's a new court ruling, no?