I just checked the Rangers schedule & there is a game on the 18th, but not until 7:05 PM.... our meet would be over long before any crowds would be causing an issue.
For what my .02 is worth ... I vote for #1 Arlington!
But really..... ANY of the options listed would be fine.