I have only read of Halbach and Son making secondary Martial pistols ( from 1780’s through 1820’s or so)
It might more possible be that the Coach gun had Prussian origins, as Halbach imported items to America from Prussia (maybe including his brass mountings, such as his side plates, and locks?).
You’re right about maybe never knowing.