I think at this point, most people have a passing knowledge of how awful a person he was.  The only reason we still have Columbus day is because it's a day off, and I don't care if it's called "Hitler Day," I want my day off.