I would offer a pay for deletion, where if you pay the 9,000 in full at one time, they will delete all negative comments/Charge off, lates and repos, and tradeline.
Otherwise, I would pay them, but in small, affordable monthly payments. That will probably light a fire with them so they can get it all at once.
Goodluck with the househunting/buy.
Welcome to the forums.
Cecilia