I didn't know that. Good to see they cashed out in time.