Hi, the best oil would be a fully synthetic 75w-90 gear oil,which would also give a smooth gear change,a lot beter than using a EP90 gear oil.
If the car is going to be a show car and not going to get any hard use he could always use a cheap 20/50 engine oil