Thank you!
I ended up buying a Samsung 710n that can handle 15khz.
I happen to have a Commodore 1084 RGB Cable that connects to the DB23 port to a DB9 RGB port.
I tried to buy a DB23 to VGA buffered cable but had some problems with the seller canceling my order (what made me pay taxes and I'm still waiting for the credit card to refund me), so, I GAVE UP trying to buy from international sellers. Too much trouble.
Where can I find the pinout to connect my cable to a VGA? Then, I can locally commission an adapter.
Thank you all for the support.