1) Yes, you are doing it correctly.
2) Downloading a .csv file from Robinhood, or other crypto exchanges, is only available in TurboTax Online, not in the CD/Download TurboTax software. There is a workaround, but if you have only a few sales, and you have already started your tax return, it's easier and faster to just finish the manual entries.
3) You do not send any documentation to the IRS. But keep your 1099 from Robinhood and the gain and loss statement from PayPal with your tax records in case the IRS asks you for more information.
