I only just passed so I don't expect to be able to verify what I am about to outline, but I can tell you the following: You should
be able to open the .tiff file in Micros~1 Photo Editor and resize it as desired, even export it as a BMP, JPEG or GIF, and then resize it in one of those formats.
Short of opening the .tiff in a MPE, the next option is the standard accessory Imaging in Start > Programs > Accessories. I'm not sure of the export options though.
If you have a scanner, the possibilities are that any sort of editor that came with should be able to export the .tiff in a more manipulative format.
The EPS file is a bit more problematic, but you should be able to import the file into MS Word with little trouble and resize it directly.
Both formats can be used by QuickTime. Shell out thirty bucks, and you can export it to any format desired.
Both formats can be manipulated with ease in Adobe Photoshop. Any Photoshop like editor can handle them as well. Adobe even has a "Photoshop-lite" that is packaged with numerous Epson printers. You might have this and not even know it. The name escapes me... Adobe PhotoEditor?? There is also Adobe Photoshop Elements for 100 bucks. Elements is a mid market high quality photo editor.
As much as Sun should provide the logo in numerous formats for the web, as the conversion is laborsome, the formats that Sun has chosen are for good reason. TIFF is quite simply the best hi-resolution format for printing. If you're providing the logo to a service bureau for custom printing of cards
or other professional needs. TIFF is the most highly desired format. Period. EPS is a vector format that is quite perfect for PostScript printers, like most laser printers. If your inkjet is PostScript capable -- not likely without a third party print driver -- EPS rocks as well.
I hope this gives each of you some ideas on getting the images into a more usable format, whatever that may be.