One important question: are you thinking about 74-80 as a year-round temp, or just during the periods of peak summer heat? If it's just for part of the summer, I think both species mentioned (C. cyanurus and C. ensicauda) would be OK. My C. ensicauda are at around 76-78F right now, but they are below 70 for more than half of the year.