Problem Solved

My previous attempt to repair my coffee machine was only partially successful.
I finally managed to source a faucet to do the job properly and I’m happy to report, it looks like it’s done the trick.
Almost makes me look forward to Monday morning. Almost.