Darned good advice, ask Jason_l as his has started to weep a few months after he had the timing belt done .
Luckily I had mine done at the same time.....
As for £1,000 tell him to go poke, Lexus charge about £400 to do a timing belt on an IS200,
the rest of the service should be only £200-£250 IMO (unless something else major needs doing)
so I am thinking go elsewhere as fast as your legs will carry you.
my cam belt is being done at lexus wolves for £350 all in. tell then if lexus want the work to lower the price