if you just did all that work to the box why would you not spend the extra 40 bucks and use real gearbox oil?