When discussing аdding оil tо а finаl drive that was lоw on oil; Technician A says that they can add a general 80w90 gear oil, since that i s what the oil in the final drive smells like. Technician B says that they should consult the service manual to verify the correct lubricant to prevent mixing oils. Who is correct?