Where is the doc that shows we own 5.75%? I swear I saw it officially listed as that somewhere recently. Asking for a friend with more smart money ;).