My apologies, you are right, I'm trying to juggle too much stuff right now, apologies.
The gun I just mentioned selling for $1430 is not the RG in this thread, but a wood boxed P08 style with white grips, really sorry. A link to that closed sale follows this email.
Regarding the 5" (12CM) length on standard production .30 cal pistols I do have 3 and will post photos of them in a new post later. Two are Swiss and one of those has a P08 style safety, the third is a P08 frame last production from 1985 with 1900 style toggle. (Seeking a green hang tag for it!)
Best Wishes, Joe
https://www.gunbroker.com/item/872750819