I was specifically think of the CA public workers pension which I mistakenly remembered as 25 years (apparently it's 30). I'd say that's close enough and no where near a straw man. I wouldn't be surprised if there is a 25 year example in a different state too.