I found a way to export just that column which I think people will find acceptable, and will still be useful for any statistic work:
$ mysql -u user --password=pass -D db -s -e "SELECT concat(user_options,'==',user_options) FROM user" > user_options.dump
It would be great if someone with mysql access could do that and give me the resulting file