hi,
do you still have a leak ?
if you don’t have so much leak it’s better to change only the oil and used heavy one like 75W90 because if you want to repair it will cost you so much money and it will come again soon as per my experience , you can contact me if you need any help
cheers