I'm a fan of Frozen, but that short...eh. While I laughed at a couple of jokes, ultimately I felt like I was watching a full-length movie that was severely edited for time.
Coco was fantastic though. Definitely one of Pixar's best in a long, long time. And that soundtrack! We need more films...