We will be in WDW in June and would like to see Lucky the Dinosaur. However, we will only be in AK for half of a day. How do find him? I know he's in DinoLand, but are there specific times listed, or is it just a window of time like other characters and you just have to be "lucky" to find him?