I'll check weekly DaDice with the new owner. Hopefully they'll do something with the faucet.
The faucet will for sure not be better as it is now.
Will for sure
not be better? So I guess the faucet size will go significantly lower in the future, right?