I can't answer your question about the lehman bonds as I do not trade them. Just know where to find the bond prices. Maybe someone here can answer your question...