I think my only advice would be to play them if you can, before parting with any money, and simply buy the one you like best.
If the 4003 was built before 2006, it won't have the "Vintage" circuit, which removes a cap from the circuit which makes it sound like a 4001. Though TBH, I prefer the "modern" sound.
It would be tempting to go for the '77 over the 4003, if the price is right, but it really is up to you trying them out.