Currently, I have not and do not intend to do this as my daily living expenses are unrelated to my crypto investments. I have an outside main job and instead of selling crypto assets or spending it, I am still trying to accumulate more of my assets during this bear season with my salary. Your question is no different than you are asking if we are willing to sell crypto assets during bear season while everyone is trying to accumulate more crypto assets and waiting for a bull season to come.
It sounds great trying to accumulate more crypto for the bull run but this is only easy for someone with extra job and a well paid salary. A man with alot to do with money and have no source for the money than is crypto wallet will have no choice than to sell or buy with it's crypto to satisfy his daily needs.