I've noticed that Nasdaqtrader often doesn't update the resume time on halted NYSE stocks until after the stock has already resumed trading. Like today, HRB resumed about 16:30, but the site didn't provide that info until a few minutes later. Are there alternate sources that provide this info?