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