glad to here that both you guys think that was the right play. Are there any other ways to play it? Or was push the only options.