It may be. I've been told by several FAs that hot cup is term they use. My out-of-date knowledge of a crew cup was the white plastic beverage cup with no handle, but with a ridged exterior that AA used specifically for crewmembers.