The red one is one I bought without a name, I'd tagged it as Parodia (Notocactus) horstii, but am unsure having only ever seen one many years ago, and if I remember correctly it had a much paler flower (I think), I'm still waiting for my small horstii seedling to flower so maybe there will be confirmation then!
Either way that plant was a gret find!
CP