Your number sounds very reasonable to me (I don't know that Vertex longs would agree ). My wild guess is they want it to sound better and get it closer to 200M+ by perhaps tagging along some shares either straight out or more likely on a delay/non approval.
I would think this is right up Royalty Pharma's avenue. Maybe they would even buy out their whole EU stake if VRTX really is hard out for cash .