Marten is an amazing guy. I bet most of the price that HP will pay is to get him.