เครื่องปั๊มร้อนสำหรับปากกาแบบสิบสถานี, เครื่องปั๊มร้อนสำหรับปากกาลูกลื่นขนาดเล็ก