The Red Devils have a buy-back clause.