The joke's on Texas if they schedule a payment for June 14 and then IRS extends the date for everyone to July 15.
