I seem to remember a mini cable lock just for seat posts, back in the early 90s. Are those still around? I know they won't prevent real theft, but they do deter crimes of convenience and jokesters.