"Hmm. Router change. Not gonna happen."
So no port 8080 for us. I'll email the company we're trying to get to, but don't anticipate a lot of change.
On the plus side: the act nobody I know has ever used this company's support site indicates we wouldn't get anything useful out of it anyway :)