Ah, I didn't even look at the story or the thread, just answered your question. This is Texas, so its going to fall under Texas laws, presumably. I would suspect that Texas did not take Columbus Day as a holiday, I know most Georgia counties did not.
Also, I think the limit is 10 days there.
At least I'm pretty sure that was what was in the request. So, depending if the county of request, and the State of Texas reqs, we don't count weekends and maybe or maybe not Columbus day. So from Oct 4, that would be Oct 18 or 19, just like the previous poster stated.
I wonder how long Earle could drag it out beyond that?
Oh well, it'll be interesting to see what, if anything is released.