So far, there is no court involved of which I am aware
The House of Representatives has the power to cite Lois Lerner and any other high-level IRS official along with executives of the company contracted to backup emails in contempt of court and issue arrest warrants.
I won't ask why that's not happening because we both know why: John "No Testicular Fortitude" Boehner.