basically if you want to optimize your idea, you could make it a MuSig2 2/2 with a tapscript HTLC alternative (no additional spending required)

Yes, a musig would be more efficient. I have never used musig in a demo except a demo of musig itself, because I find it hard to implement and not worth it for a proof of concept. A real implementation should probably use musig for greater efficiency.