I doubt the ban applies to govt operations... Without doing any kind of research at all I assume this just applies to individuals anf private enterprises.

Yes, you're probably right!