エリアスとルーカスの買い取りオプションっていくらだっけ？２人で五億円もしなかったような…ただ安くもないよね。