I wonder how much the original owner got for the the theft insurance payoff, probably about $4,500? It has to be worth several times that now.