I don't know if he's sold any yet and not sure if he's getting paid from that filing alone. It was fairly limited.