Hmm a good question indeed !
I have all full services done by AmD as I am lazy so cant comment on as to whether they actually do disconnect the pipe to drain, its accessible by just removing a few screws a pealing back the wheel arch liner.
I feel that probably they wouldnt bother with them knowing I change the oil myself every 4 to 5K so overall the oil is always pretty fresh even with being mixed the small amount the cooler & associated pipework hold.
I dont think it will be a
problem, I have not heard of others draining the cooler..