congrats JP, seriously when we bought I thought we were doing some knifecatching ourselves. turned out otherwise.
I think 35% off peak along the coast (I’m assuming that since it seemed to be your target before) is very good, and there is absolutely no need to beat yourself over it. At the most it slides another 10% over the next few years, when considering all the other factors, not really worth the wait.
4.25% interest rate is simply awesome. what you should do is take the house’s 2000 value and apply 8% interest on a 97% LTV and see what your carrying cost would be. I get the feeling you would be better off now.