Hi guys, recently I found my gearbox to be leaking oil but not very severely. I went to 2 mechanic workshops to get a diagnosis and quotation on fixing the issue, both of the workshops said it was the oil seal that needs to be replaced. The first one said it was the right side oil seal which I assume is the driver's side driveshaft seal that is leaking, he quoted me around rm120 to replace it, rm40 for each seal and rm40 for labor charge. The second workshop I went to earlier, they took a look and said it was the inner oil seal that is leaking which I assume it's the flywheel oil seal and said it would cost about rm600-700 to change it because they need to remove the entire gearbox bla bla bla. Which one should I go for? Currently also a uni student so I've a tight budget but I also want to not waste money tbh.