The lighter viscosity lubes are most likely to enhance fuel mileage a couple of points. The upper classes of oval track cars use this trick when qualifying through time trials where you have only 2 laps to run and no laps to warm things up. The slightly less drag can mean .1 to .3 seconds off a qualifying lap depending on the size of the track. Trans and axle lubes then get replaced with more usual fluids for the race itself.
For a manufacturer to spec ATF in a manual box I'm sure they have engineered the trans to work correctly with it.
By the way Don the metric equivilant of Dextron 3 up your way would be Dextron 4.8, eh?