Any news on the renovation of the John Marshall into a condominium building? It is not being run properly as a hotel, and I'd heard it was to be converted/restored into a high-end condo.