for those US Customs Officers in the forum, do you have to provide your name or badge number when a citizen asks for it??