> we have a GPL’ed library here that we can use but now all of a sudden the vitality of the license means we have to replace it?

The "we're not distributing it" loophole is why the AGPL exists. So yeah, even though you can technically not violate the gpl by not distributing the server, don't do that, it's scummy. Better to just not use gpl code at all.