Hello Brad.
I went to look into the info of CTX3000 and CTX5000 as you suggested.
Because for now, I have no idea how the functions work in electronic piano, the only thing that attracts me is the speakers of CTX5000 😅
I am staying in Japan. However, I haven't go and try them yet because I didn't know the existence of them until few days ago.
The price for them are:
CTX700 - 19,000yen (190 USD)
CTK7200 - 28,000yen (280 USD)
CTX3000 - 32,000 (320 USD)
CTX5000 - 52,000 (520 USD)