I still read in a book by David Leaphart (Walt Disney World Railroads Part 3: Yucatan Jewels) that says that the 4-4-0 didn’t have a name until after Roy O. Disney passed away, as Roy didn’t want his name on any of the locomotives. That info could have changed, however; this info comes from that...