 They're a little bit higher on the odds board than I probably would have expected. I mean, they're the seventh favorite. They're kind of right on that Colorado Carolina Rangers tier. Is that where you see the Devils right now going forward? Or maybe they're a little bit overpriced. They have bounce back appeal because their season went off the rails. They still had good.