Making a Star Wars movie is hard work on actors' bodies, but this handy little piece of technology helped the cast of The Last Jedi recover fast.