The Real Estate Group, Hot Springs Properties Inc.