Back around 1977 I worked at the Lagoon Amusement park in Utah. In there arcade I remember a pinball machine that was much larger than most and seemed to be 50% wider. It was mostly green and If i remember right it was based on dinosaurs. Does anyone know of such a machine?