I wonder what year these machines were produced, and where they've been all this time. The consoles are the old Raytheon style, although I don't think they're Raytheon machines. Hasn't it been at least five years since the updated console styling was introduced?
As Richard mentioned, these are machines that are sold through the commercial division and use the older panel design, so it is hard to tell how old they actually are without seeing the serial #.