So, did everyone have a good Robert E. Lee day?