I won't belabor this. Putting in a different NIC fixed things. No fuss, though interesting that it (presumably udev) wanted to call it eth2. I can live with that. Thanks again, everyone! -Frank