Mikel and Khedira are different type of players. Obi is a backup for Matic: big, strong, high passing accuracy, lots of tackles.. Khedira is more like a box-to-box. Not a bad player but it'd be pointless to sign him and let Rami go, even if we earned a couple of millions on the Brazilian.