This seems a little expensive for a domestic indirect vented cylinder to be changed I would get a few more quotes. Were abouts do you live as you might be aware the cost of trades men varies through out the UK.
notts - got 2 quotes today one for a direct combi swop to the same place for £1600 and another for £1300 to move it out of the way into the garage inc pipework??