Nice find, and definitely has a good story to go with it!
I don't use a CRT for most of my retro gaming anymore(I use an OSSC or Retrotink as an upscaler to hook up to my LCD), I definitely wouldn't turn one down at a good price like that!
I do have a small JVC professional CRT, like 9", that...