I think this will work itself out by itself, from the look of it none of us are bidding 9k so chances are it will just have to run again.
Would I have an issue bidding 9k? Not if it started at $18, or entered a proper pre-bid, but principle will keep me out at 9k start.