BobSchoos: Please read the US-CH tax treaty
here, especially Article 23 (Relief from Double Taxation). You may be exempt from CH taxes, or due a tax credit, or simply a tax deduction. The IRS website for tax treaties is
here. As importantly, read the Technical Explanation for Article 23.
It certainly is prudent to seek professional help, but be sure that person has carefully read the US-CH tax treaty, and has researched the CH case law if any.