有正式军队职工（军工）编制，包括炊食员、修理工、仓库保管员等，他们的退休金均过万