Is this net of any expected gain taxes and depreciation recapture from sale?
Regardless, of whatever amount is left, I'd invest the majority of it. RE is good diversification for many people... it's debatable whether that means physical RE, RE stocks, or other assets tied to RE, but I'll leave that choice up to you.
To keep some RE exposure, I may put 25-50% of that toward some RE stocks (REITs, builders, developers, etc) or even a sector ETF.
Do you any intended use of the funds within 5 years?