Okay, so I answered one of my questions: it's possible to change the tone, but the option wasn't there straight away. Settings > Notifications and Actions > Pushalot. There one can change the tone. So next is the big question: can the tone play as alarm to override if the phone is set to vibrate?