This side of the pond, I'm seeing 4000's being 60-75% the cost of the 4100, from dealers, still with warranty.
Different printheads (one on the 4100, two on the 4000), though the 4100 head costs less than two 4000's, and won't need as much alignment with itself (which is an end user activity...