I’m familiar with a lot of that. But none of it provides an answer to the question “how much?” The best current answer is “not sure, but definitely some.”