I can’t give an exact number as that would be up to the treasury council via a 5/9 approved vote but I can’t imagine the amount being lower then what was deployed to Euler already (100k Badger tokens) and I can see them being interested in deploying more to kickstart the integration with Aave being a much larger protocol.