That’s what traded today. Or so my Bloomberg terminal tells me. Big size traded at the close at $1840. Indexers are a big crowd. Float available for purchase must be getting pretty small.

https://tpltblog.com/2022/08/12/index-inclusion/