okay, tried adding our mailserver info and user login and password and changed the port in the file class-pop3.php in wp-includes.
sent a bunch of messages, using different configuration.
nothing solves the default server from line.
looking at the wpmu forum per DJPaul’s recommendation. I had found a plugin there and tried to install it – didn’t work. Looking again.