Some pro musicians will prefer the Korg, others the Yamaha.
But look. This guy just wants to get his jollies out at home. The PA1X Pro is a professional keyboard that has a steep learning curve.
The Tyros is very user friendly in comparison - whether or not you prefer the sounds.
As far as style expansion, beyond the styles that already exist on the keyboard, Yamaha should win hands down. There are over a dozen sites that have extra styles: midispot.com, arrangerworkstation.com, psrtutorial.com, svpworld.com, styles-music.de, etc. etc. etc.
I have a feeling that if this guy splurges on the PA1X Pro, he's going to be spending an inordinate amount of time trying to figure out how things work and not making music. Many of you PA1X Pro owners are full time musicians who have all day learning the intricacies of the keyboard.
I'm assuming Dr. White might be a real doctor, and he might not have the time to add Korgology to his specialty.
Beakybird