“Does at&t have the red version?”