Sounds like that auto fluid is probably Ok... but a couple of things to reinforce:
gwolf makes a good point. I know R0B and other auto owners have said here before that fresh transmission-fluid and clean screens/filters are the best insurance for auto boxes - and these T25 ones will outlast most manual boxes if you follow that regimen (which you can't say for all auto boxes of this or even later vintage

I won't mention some Renault ones for example, Oops!

)
A good rule with a new vehicle is that if there isn't hard evidence that something has been serviced/changed, then until YOU have done it, you don't know it HAS been done...
