I saw an ebay auction about a vaxbrick 4000-50. What is a vaxbrick 4000-50? I googled and didn't find much information. I'd guess that it uses NVAX cpu. But, what is the the clock frequency, and how big is the cache? What memory options does it support? vax, 9000