Why do you think Pi's cant give 31KHz emulation, they can be setup to ouput 640x480 at 60Hz refresh quite easily, or are you referring to the emulation of the 31KHz era of gaming (Naomi, TTX etc).
You could always build a Micro-ATX system and it might fit in the back corner of the cabinet out...