Is a Nilfisk GM80 really worth $1k+???