@IanJ: Federal holiday, nothing happening of note.