I have and officially on paper he is a normal renter. Since this kind of deal doesn’t happen there’s really no system so his payout is a handshake deal on sale, as of now only around 8%. As for if the property is kept, once fully paid off he would receive a yearly dividend of what was made off rent, which wouldn’t be much as we won’t charge much above operating and maintenance cost. Truthfully keeping it is the less likely option as we would like to sell so he can walk away with a decent down payment on his own place.