I completed the RMA process online. Looks like you're right, no receipts needed.
I did the advanced replacement option, which was $20, but that's better than shipping the bad drive to them, waiting for them to receive it, and then waiting until the replacement comes back. For $20, I get the...