On a similar spirit, the Kawai VPC1 although you need a PC to generate the sounds. Most people tend to use Modartts' Pianoteq.
My Korg Kronos is just a dedicated mini-PC working as a synthesizer workstation appliance. It takes about 3-4 minutes to boot so hooking a RPi4 next to it would make for a great weekend project.