Just been on the phone again. He said its upto you. He can only advise that its what they do as a 1st option to sorting out gear selection problems before removing and stripping the box. There are many types of ATF available but he said go with the red standard fluid, fully synthetic.
Apparently, BMW, Mercedes and Toyota all use ATF as standard.