What does "a domain that was making about $9k/year in ad revenue" look like? Is this domain one where people randomly stumble upon it and give ad views to a parking page? A website with regular use or other content that people visit for some purpose that is now under different ownership?

Probably a parked domain with ads that people stumble across. We used to call these guys cybersquatters.