Hey mjb, this thread got bumped and paging through realized I never responded.
I'm pretty sure I played this one sometime 2019 or very early 2020-ish at the GC here in Vegas [they had a Fender short scale I had not yet seen]. It was 'okay', but back to back with the Gretsch short scale they had I honestly couldn't tell the difference in playability or tone. That's the visit I ended up getting into the Ibanez short scale, and it's served its purpose fine since despite being the slightest bit kludgy.
That said, I'm not super particular or playing at mine (or anyone else's) limits for any of my recordings nowadays, so maybe there's subtle differences aside from looks. I also recall it being cheaper than $800, more like $600 maybe it was on sale.
The $150 setup estimate was the cost at a place back in upstate NY that I trusted, they had a legit luthier on staff. I'm sure GC would do it for less, and I'd get what I pay for (ie - less than perfect). I've tried my hand at adjusting my own instruments with nominal success (my short scale bass and Les Paul have been both self setup in the past year, and are still not spot on). There's a bit of an art to it, and I've not the experience (despite being a player for 30 years) to be proficient.