George, t answer your question - we're not paying ours off. Our interest rate is a bit lower (5.375, I believe) but still - given our mindset that we might not be keeping our Patio Villa for the long term, we'll just continue to pay the annual bond payment til we decide on a different "life plan".
Bill