The paper examines a type of insurance contract for which secondary markets do exist: default risk insurance is implicit in corporate bonds and other risky debts. It applies risk neutral martingale measure pricing to evaluate the option for a borrower with default risk, to prepay a fixed rate loan. A simple “matchbox” example is presented with a spreadsheet treatment.