Or he could get
@Chris D's Pushover alerts, enable the options and receive alerts directly to his phone that way - of course the add-on is a paid one, and the app to receive the alerts is also a paid one. It's nice getting push alerts about any server log errors though.