GadgetGuy
(Formerly Shermie)
it can be an under-the-counter one that's permanently hooked up to the water line or a portable unit where you add the water to it yourself. Found this little one at Amazon.com. Had a larger one, but it bit the dust after 10 years.
It will take up far less space than the older one did!