It depends on the car, but I'd say GBP 1000 - 1500 is not an overestimate. In my own case (2001) the auto gearbox was actually included in the base price, but then it's a brand whose buyers tend to prefer auto for many of the models (Mercedes). I bought mine in Germany, where manuals for Mercs are more popular, but in the UK the vast majority of Mercs are sold with auto.
I don't know what the overall percentages manual:auto in Britain or western Europe are, but auto accounts for much less than half.
I had the impression from some posts here that auto on the US is very cheap, so I am a bit surprised it is as much as USD 1200, but it is still a lot less than here.
DAS
For direct contact replace nospam with schmetterling