Just heard that Paradise Gardens outside of Cincinnati is no more…

Just heard that Paradise Gardens outside of Cincinnati is no more. Has been sold to a home developer.