Interesting. But I wonder, was it a coincidence that you had the manual with you in Honolulu ? Or do you take the manual with you everywhere you go ? :)
While he was in Hawaii, I also paid to fly him to the "Big Island" (Hawaii) to speak with people (mostly astronomers and their children, though some people drove up from Hilo.)