Woo nontrivial October baseball in D.C.!