Changed carwash example to exchange Warrant instead of receipt.