Ah... just have
. Found a link mentioning tube pcb fuse which goes regularly for no apparent reason; tested, that's the one, ordered, now where's the soldering iron again..
seriously thanks for the thought, but it is quite an old one and wasn't worth bothering the service desk for
