The atomic clock product line was sold off before the latter event in 2005 to Symmetricom, which was then acquired by Microsemi in 2013, and Microsemi itself was itself acquired by Microchip a year or two ago!

The 5071A (the evolution of the product in the video) is still in the product line:

https://www.microsemi.com/product-directory/cesium-frequency...