Для замены просто вытаскивают и ставят новую, если честно, юзергайда в глаза не видел. Около 40 терминалов работает в парке, в общем-то проблемы возникают редко. Обычно сдаем их на ремонт, там меняют бэкап-батарею, после чего терминал работает пару лет без проблем. Другой вопрос что за это берут нехилые деньги, решили попробовать поменять сами, но результат как я описал.