I’ll repeat my hypothetical question from another thread just for lulz. Suppose Rush kicks the bucket right now. “RIP Rush” or “good riddance”?