Correct, to receive push notifications they would need to have the app on their device and enable push notifications for it.
AT&T recently dropped support for their email to SMS gateway which is why those notifications are no longer working, see the post below for details and some user suggestions on alternatives.
One might be the Mobile Text Alerts extension for Gmail which lets you forward notifications as a text message based on sender and/or keywords.