Check to ensure the mentioned user has push notification settings stored