A carbon dioxide fire extinguisher should be recharged