Yep, that seems to be the case anyway, because I don't seem to find extra €70 for FX5200 this week and my friend would pick up this TI4200 on saturday.
That ZM80A-HP is not available anymore, around here at least, but that passive cooling option is it's successor ZM80C-HP.