hmmm where is this oil leak that they fixed? is it the upper timing chain cover? or the front main seal? I can't imagine it costing that much to repair an oil leak. Unless it was a head gasket or rear main seal.
Brian