Retirement tax questions

Yes. That amount is not taxed. It just reduces the cost basis of your asset.