Oh good point, tbh I didn’t even remember it was also MLK day - but I thought that a National holiday? Maybe only in “woke” blue states IDK.