Watched a vid where a gov emp said he had an auto pen in his office. How many autopens are in the government? Are they all for rent and do the dept heads get a cut?