Make sure he cleans everything properly and they'll be fine. Scrub them with hot water and disinfectant to remove any obvious dirt, dust and shavings, dry them and wipe with WD40 to stop them going rusty in the container. Swap the plugs on any 240V electric tools when you get here and Bob (as they say) is your uncle.
