When I did the monorail this week, we had downtime waiting for the other one to exit the launch port. Our tour guide asked if we had anyone had questions. Someone did ask where Happy the elephant was that day in which the tour guide said he was unsure, and he thought maybe she was in the back. I am unsure if they were one of these people who checked daily or just someone who read this recent article and was curious about it. A side note, if you ever get Justin as a tour guide, you're in for a fun treat. For anyone who has gone to a Disney park with the Jungle Cruise attraction, he's in comparison to a skipper with his puns/jokes!