I received the replacement flow meter as promised, installed it, and the machine now works as it should, no longer gives the 'water circuit' empty error message. Fortunately the part is common to a wide range of coffee makers, so generally available.