Yes, we port in all of the domains from NameJet, SnapNames, etc. There are a lot of great deals to be found. Some are absolute trash of course but if you can sift through them and put some time in (hopefully that is what we are trying to do with our tools is save time and give some value add with the SEO metrics, alerts, etc.) then you can find some great bargains.
In theory, you could technically acquire a domain for $10,000 and be able to sell it for $100,000. You could also acquire a domain for $10 and be able to sell it for $100,000, $10,000… or $100, you get the picture. Because of this, it’s hard to recommend a perfect starting budget because your strategy, experience, and the pace at which you learn will hugely affect your buying and selling decisions.