Scotty...you got it!
I don't know why people talk $4k or $5k for a T4 or a PA3X.
I paid $3,200 for my PA2XPRO, way below MSRP.
Just like if your looking for a wife or GF...you got to shop around (Martha and the Vandells's?)
Shop around what you like but a Tyros 4 still cost 3500 Euro in the Netherlands and that is using a currency converter about 5000 dollar.