The Push Notifications settings page should accept the name of the sound file that plays in the app when a Push Notification is received.