They do have receipts since they own both sides of the transaction.

And to be honest, I'm not sure if the IRS cares since the profit gets taxed at some point in time.