E invece mi sa che la soluzione c'è
Basta installare questa applicazione che permette, spuntando l'opzione nelle impostazioni, di scollegare il volume delle notifiche da quello della suoneria. L'applicazione ha anche un sistema di profili per automatizzarsi (ma sulle condizioni di attivazione ci dovrebbero lavorare un bel po' oppure permettere l'integrazione con tasker). Unico neo, il volume della suoneria che se scollegato potrà essere gestito solo all'interno dell'app stessa.