it's publicly available the amounts they have pre-purchased. it's in the 100s of millions total