What is everybody doing for Tuco tax purposes. Should we expect a 1099 or claim it as a loss or wait and maybe get that other distribution?