I recently sold my 5500HC to local guy who was using 5000C and he simply loves the change.

I would heartily recommend 5500HC (prices have been from $1K-$1.5K) if your budget allows $1.5K, if not you can get 5000C for $400ish (thought there was one on A'gon)

I hope you have updated your 7K to latest firmware- makes a big difference IMHO.

Regards,
Kishore