I know this is an old thread, but I'm reviving as I just ran into this problem. I think a Diminished Major 7th is a reasonable request and much needed in the app.