I think I answered your post on Facebook, but I'll put it here too.
IMO they are G. winemilleri. The four forward-slanting bars and the cheek mark are the giveaway. I have seen winemilleri with horizontal stripes in the tail but also some with more spotted tails. There seems to be a lot of variation among different locales of winemilleri. Some have a very tall profile, some are more long and narrow with hump heads like proximus, etc. Are they just natural variations in different regions, are they subspecies, are they separate species? Who knows. But for now the diagnostic features focus mainly on the number and positioning of the bars and the cheek mark, so that's what we go with.
- They don't have a square midlateral spot like gottwaldi
- The midlateral spot is too low and too small to be proximus
- They have too few bars to be dicrozoster (7, including the forked Y bar)
- The bars of brachybranchus, which rarely show, are vertical rather than slanted
Here is a photo of my brachybranchus showing bars during spawning. The literature says that they do not show bars but I've found that even though it's rare, it's not absolute. However, you can see the difference in the bars when they do show.
View attachment 1413758