I thought it was standard policy in any corporate IT security department these days to warn people not to plug in any personal device whatsoever with a usb plug, even, say, a fan or coffee warmer. Is it really possible for a usb device to be too small to contain a virus?