Were the bands Man or Astro-man? and Tool formed during the same decade?