And they got Rick Moranis out of retirement to reprise his role as Dark Helmet, which is just delightful. I hope we see more of him in movies now that his children are grown.