anybody playin warhammer 40000?

[Hurz]

i dont but a colleague wanna sell some armys.
got no idea what that stuff means but if anyone is interested heres some details he told me :

black templer (ca. 4000 points)
dark angels (ca. 5000)
chaos space marines (ca. 9000)
chaos demons (ca. 3800)
dark eldar (ca. 3000-4000)

says he would sell them for 60% of original price.