They were still making Red Eye? Thought it had been discontinued years ago.
(https://pbs.twimg.com/media/C12GLSnXAAAvN5K.jpg)
I admit, it's been about 5 years since I lived in the city, but I honestly hadn't seen one (or at least noticed it) in at least 7-8.