Has anyone tried to challenge the use of TARP money for auto bailouts in court?