As the packaging will be disposed of I don't think you need to worry.
If you are concerned why not give the washing machine a good wipe down with disinfectant. That should put your mind at ease. 
Changing from a Manual car to an Automatic after driving manual for around 50 yrs


