If he doesn't, you can get the large can of it on Amazon for a decent price, enough for a lifetime for a backyard mechanic.

1997 Eclipse GST - AWD swapped - TPC - GT Spec powered
2023 - 9.63 - 145mph