No, alas. A friend had a 9000x, which broke down. They have always been around me tho, so I have had the oppurtunity to hear several models.
I am currently looking for a TB20, but I havent found anyone with a reasonable price yet. I found a really nice deal on a Studer B67, and this one is...