This makes me wonder: is it illegal to use non-US coins for transactions in the US? Like if I use Euro-coins? (I say coins because there seems to be a specific prohibition on issuing "coin" and not other forms of currency unless they resemble US dollar bills.)