While roaming around the Internet recently, I re-visited Video Display Corporation's web page. It looks like they are offering CRTs for sale again. I plugged in some tube types and got some results. Here is the link for the 10BP4:
http://vdc.mybisi.com/products?search=10BP4
They state that the picture on the web page is not the actual tube picture. I also don't know what the status of these tube are. I would suspect that they have only been re-gunned.
BTW, the site seems to be a little bit erratic. I had to sign up for an account before I could see some of the CRTs. Their Search Engine also does not seem to be working all the time.
I did find one color tube, 19VEGP22, for sale.