The IRS isn't updating its system to handle the Texas deal. May 17th is still the magical date for the computers to recognize.
