The IRS courts and attorneys seem to be mostly out of service during the government shutdown. It may just be the attorneys.