Ah, great! Yes, so OPEN.GRC is an asset on the Open Ledger DEX that can be withdrawn as GRC. Withdrawal costs are very low for GRC too, which is great.
Have you got your wallet set up? If so, make sure you copy your wallet address instead of typing it. That way, you cannot accidentally withdraw to the incorrect address.