but the boiling water tap is broken.

There is no kettle. There is a coffee machine, but no "water only" option.

Do you:
• have something else instead (or, nothing at all)?
• buy a cup of tea from one of the many tea-selling establishments within a 1 minute radius?
• use the microwave to try and make a cup of tea?

Well?