"Business days" means Monday through Friday, excluding the
following holidays: New Year's Day, Birthday of Dr. Martin Luther
King, Jr., Memorial Day, Independence Day, Labor Day, Thanksgiving
Day and the following Friday, Christmas Eve, and Christmas Day.
Any such [...]