So if liberty gets a stake in Sirius XM do you guys think then their service will be pulled from dish network? thoughts?