The only issue there is with pumps is that strong electromagnetism can damage them, doesn’t sound like the sort of thing you'd encounter in that line of work though. Or are they worried about the small chance of a battery operated device sparking an explosion? Basically if he's allowed to have a mobile phone or any other battery operated device with him then there shouldn't be any issue with a pump.