TLDR: He's asking for $1000 plus attorney's fees, plus a court order that the IRS fix its damn IT system. 2/3 of that lawsuit is a list of all the IT problems the IRS has.