Looking at this from a UK point of view, used 4003 basses seem to hover around £1500. Some go for cheaper, and some go for substantially more, especially if vintage. Right now there is a used 4003S in Jetglo for £1,622.50, and a used 4003 in Mapleglo for £1,853.50, on Ebay UK. Demand quickly and consistently outstrips supply for RIC instruments in the UK. Perhaps the situation is more favourable (for a buyer, less for a seller) in the US? I think in the UK you can name your price if the slow boat from Santa Ana hasn't appeared in a while.
When the 4003S basses arrived here in the UK many retailers were selling them for £1599. I would therefore suggest that a used 4003 bass, in good condition, is worth the same as a new 4003S, and that the Hofner shouldn't come into the frame at all.