How could you tell whether a system was regular TBX, micro BTX, or pico BTX?