Are there good repair instructions for the arcade ones? Like, how long will it be possible to keep one of those running in the future?