No, I haven't yet found out about boredom, and like you I'm putting it off. I doubt I'll be bored during retirement, at least not until/unless I end up physically unable to do much of anything.

Since I'm only 44 years old, I haven't yet found the time to be bored.