And right now they can buy billions of dollars worth at $103k.
Exactly! They’re still getting ahead of a lot of other companies so have to give them credit. In the long run the difference between 75k price and 100k price is immaterial