As VingTrois said, "Welcome here."
1200 can do most of what you need, I'd suggest getting it WHDLoad capable. The cheapest '030 card with RAM is good enough, and you could even get away with less. 4000s are a pain, too many of them have leaked batteries, but one would work about as well as the other.
