My recommendation would be to leave it as it is, as a historical artefact. I'm leaving be my father's violin pitch pipes, which curiously are somewhat sharp of the current standard .... given the comments in the rest of this thread, that might or might not be a clue about the origins of the violin.