I am having this problem too. It is just depends on how long you are planning to use this car. To me, it not worth it waste any more money on it. If I fixed the oil leak, gearbox may also have problem soon. It may cost me more than just buy a new car.