Thanks @AmyC for looking into this for us! here is the token: 1200177
Here is my original post with more of the context and IRS links. Hope this helps!
