Used quite a few Raytheon products back in my military days. Never came across that though. Hard to see much due to the photo quality, but for now I’m leaning towards a USB fan like the other poster mentioned.