I inquired if the EE name was something being mentioned on the tour and here is the response.
Hey Joshua!
The Elio Eagle is probably a nickname from one of our reservationists. Definitely catchy, but nothing official.
Best,
The Elio Team