Upon re-reading, I think they mean $4000 for each model of which the pattern was copied, rather than every single one produced. So that's what... $12-16K ? (3 or 4 models, I ain't really clear...)
I think if anybody, the lawyers won this one. (with all deference to lawyers here...)
~Gregory (who can't tell you how many banjos he inlaid Gibson in the headstock of, regardless of provenance... i mean, they had some Gibson parts... sure...)