Does anyone know whether the following names are trademarks: PROFS OV (or OV/VM or any of its related product names) Music Alpha (as opposed to "Alpha AXP") Thanks... Eric