Along with what you have there, Cotton, go to any CT prospectus since essentially the only difference is the interest rate and go towards the end - around page 20. There you will find what the CTs do in a BK situation. Also prospectus enforceable law, to use your term. It's just a matter of when.
Dunno about you, but in this neck of the woods, stupid is not fixable. All we do is laugh at it. Just sayin'.