Well, the more we look the more we see.
According to Mauser Parabellum, of the 171 banner mauser pistols examined, some were in fact rust blued after 1937 and others were hot blued. These are intermixed by serial number.
There is a pretty comprehensive list in the long chapter on these commercial Banner Mausers lugers.