Bill, in general red ones that have you've had for a while are IDed as Red Lion unless photos prove otherwise. Until the last ten years, Red Lion was almost universally sold as the "red bulb" around Xmas. It was also the most widely sold red garden type amaryllis because it was reasonably hardy when planted outside in borderline frost areas. Today, Red Lion is still the predominate Box Store Xmas Red, but occasionally you do find other newer reds sold at Xmas.
