We had thought about JMS in the past, and it was there - but the standalone config of the app server, does not have JMS enabled, right?

However I agree that messaging is the way to go.

Note, for iOS, let's make sure that we do NOT start a ApnsServer for every push message. They all should use the one opened before the first message, and should be closed after the last message