This is what they look like now:
The cow at 0:35 has mighty horns as well. It has a silvery tint in its coat colour and white spots on the belly, so I suspect it could be influenced from the Sayaguesa x Tudanca crossbreeds the Tauros Programme has. There is another cow visible in the video, f.e. 5:30, that looks very Sayaguesa-like and is thus quite good in my opinion.