Yep, but should just about have it paid off (involuntarily!) by the time the market starts moving up again.