Fix your coffee machine

[SideShow Bob]

Talk to one of the electricians on the board and ask them if they can spare a "Buchanan" crimp or two, one small & one large, or a couple each. The crimping tool for them will be useless for this application, due to the inline spice. But you may be able to bend the leads to be side by side, then the tool will work.
The crimps sell in packages of 100 ct. for each size, so that would be too expensive for this repair.

Edit, Newracer posted a picture of the Buchanan crimps.