Are there plans to sell or privatize DET [[three letter designation for city airport)? Seems I heard something last year ago selling DET to a private concern. This seems like it could be a valuable asset if managed property.