Jeez, this stuff gets in your head... I was wondering about this variation on the 7th, and what it would be called, and here it is, with its own Wikipedia page:

https://en.wikipedia.org/wiki/Diminished_major_seventh_chord