The default font in OpenOffice is called "Times." As far as I can tell, it is not a real font, but rather a pointer of sorts to some other font on your system. The GNOME character map does not show any font named Times, and even the font selector in OpenOffice does not show it in the list (except as the current font, when it is).
In vanilla Ubuntu (and Kubuntu), Times seems to point to the real-world font FreeSerif. In Linux Mint, it's something else — not exactly sure what the font is called, but it's one I decidedly don't like.
So, the question: How does one change the real font Times points to?
(And yes, I know I could just change the default font to FreeSerif, but I'd rather like to do it this way, if at all possible. )