Without a receipt is when the form 4457 becomes necessary if US Customs stops you when returning to the US. All you have to do to get one is show the gun, or other item, to US Customs before leaving the US.