Well, that depends on what they paid for it, and their expected rate of return. They did buy it in 2017 before disaster hit in 2020! I'll bet the price didn't move much for the first three years....but that's a different discussion for another post!