I've read the DIY Doctor's project on Repairing a Dripping Tap -[url]https://www.diydoctor.org.uk/projects/dripping_tap.htm[/url], but I would like some honest advice on whether it is worth grinding the seat down or, if the taps weren't particularly expensive anyway, if it is better to just replace ...