First Plasma i bought for a customer was a 42" Pioneer (no built in tuner) $12500.
Most expensive i bought was a 63" Fujitsu. It had HDMI but no tuner. $18000. Re-installed it recently in the kids play room / bungalow.