Does anyone off-hand happen to know any brands or models of color VGA CRTs smaller than 10 inches? I know they exist because a local convenience store had one in the late 90s on a PC they used for inventory ordering (Standard Win98 system, not a POS terminal). All of my Google searches so far have only found monochrome monitors this small.