I think the Mariners' ownership is: