I wonder will this make some of the older Pixels (say 7-9) cheaper on eBay. I have been toying with the idea of replacing my Samsung S10 for ages now, and the battery life is really starting to degrade so I might pull the trigger soon.