The well past the holiday thread bump. Just need to post the obligatory:
MLK Day is one of those quasi-holidays in the US. It's a federal holiday and most (if not all) states give off for it. But many private companies do not. It's kind of like President's Day (also known as Washington's Birthday), Veteran's Day, or my personal vote for lamest holiday, Columbus Day.