I managed to get one of the elusive 5154's on eBay, but as it often happens, it arrived damaged, with no love from the seller.
I haven't tried to turn it on yet, so I'm not sure if the CRT itself is bad, however, there was some cosmetic damage to the corners, and the CRT has recessed into the...