Apparently some people get Columbus Day off. BART was less crowded yesterday then today.
I am not one of those people. I do remember and love the Columbus Day holiday song my family used to sing. I forget if the music book was blue or green. I think I was given this music book for christmas one year, but I don't think I still have it. It was probably misplaced inside some piano bench and will never be found.