I really enjoy your explanation of the musical isomorphism. Once you have a tangent bundle it seems sort of straightforward, so have you thought of using the tangent and cotangent bundles to define the isomorphism?