I'd call all day long against an unknown.

That said... I like your analysis and understand a fold with the pot odds being so bad. You're getting about 1.2:1 so you basically have to decide how often do you think he makes this play with a hand that has you crushed (AA, boat, quads) vs. how often he is doing it with worse hands. If you think he has a worse hand than yours less than ~1/2 the time then fold.

I've made similar plays this guy did with lock/near lock hands but I had very good reason to think I'd get paid off. From his stats I'd give him credit for being at least semi-decent and I don't think you can dismiss the idea that he is pushing here with a cinch hand.

Poker is situational. Just by looking at the HH I can say I'd call here but it'd be my standard line. I wasn't at the table at the time or have I played 800 hands against this guy. You were the only one there. Your gut told you that you were beat more often than not and you went with it. Your reason for doing so seems pretty solid to me. Right or wrong I can't fault a fold.