My father bought this 20-25 years ago and served him well to the end, so it hasn't been used in over 10 years. I plugged it in today and it works, but the ink cartridges are all dried out. Is it worth spending $15-$20 on new ink to try and get, what, $30 or $40 for it? Do people want these old but solidly built machines?