Bill,

I think it's a bubble detector. I still have one laying around somewhere. I think it cost about $180 new, a number I remember because I never had any occasion to use the darned thing.... Login to read more.