How much money does ARMS cost?