The CPA who represented the taxpayers in the examination should have filed a protective claim of refund for tax paid on the lease receipts, but by the time I got involved in the matter the statute of limitations on filing such a claim for refund had long since expired.
Specifically, petitioners may pay the tax, file a claim for refund with the Internal Revenue Service, and, if their claim is denied, sue for a refund in the appropriate Federal District Court or the U.S. Court of Federal Claims.