Citizen compressor-style watches from the 70s

I have researched Citizen for some time. It seems they only made very few models in the 60s or 70s that had a watch case at 42 mm or larger. And these models are undeniably cool.

Citizen 51-1811 Diver and Aviator

Dial: Citizen Automatic 21 Jewels
Movement 8200A, introduced in 1975
Width: app. 42-43 mm
Length: app. 46 mm
Cushion-style case.
Two crowns and rotable internal bezel which gives the watch a resemblance to a large super compressor.

Examples of different color combinations which are supposed to be ok:

Vintagecitizenwatches.com calls this model for the aviator.

According to this discussion at Watchuseek some combinations of bezels and dials are more likely to be Frankenwatches. Please note that this is not confirmed. Coincidentally they are from the same eBay-seller... Examples:

I'll like to add this version as a possible Franken. It has "Custom V2 23 Jewels" on the dial. The 8200A movement has 21 jewels...

Citizen 61-5111

Dial: Citizen Water100Mproof Automatic 21 jewels
Movement
Width: app 42 mm
Super discussion here.

And a version with red dial:

The models with "Seven Star" on the dial seems to have the same large watch case. A blue:

And a silver dial:

Citizen 61-5773 Diver

Dial: Citizen Seven Star, Para100MWater, 23 jewels

  OR Citizen, Water100MProof, Automatic, 21 jewels

Width: app. 42 mm

Length: ?
Cushion-style case.

See pictures here: Sweephand

Citizen 68-0516 GMT Worldtimer

Dial: Citizen Automatic 21 Jewels
Movement 7450, introduced in 1971
Width: app. 42 mm
Length: app. 46 mm
Cushion-style case.
Great article here.

Two different color combinations:

Citizen 63-0314 Record Master

Width: app. 43 mm
Length: app. 45 mm
Black case.

The Spaceman and the Record Master side by side:

Citizen 67-9178 Spaceman Chronograph

Dial: Citizen Chronograph Automatic 23 Jewels
Movement 8110
Width: app. 42 mm
Length: app. 45 mm
Black case.

A black and a white dialed version:

At this link are Citizen catalogs from 1974, 1977 and 1979 but strangely not one mention one of the watches above.

Other vintage Citizens

All other vintage Citizens seems to be smaller than 42 mm.

Including 52-0110 diver (41 mm), 67-5172 Moon Dater (40 mm) and all Citizen bullheads.