Picasso IV are good cards, I use two of them here. They automatically switch between motherboard video and RTG video.
They have an onboard scandoubler, so should work fine with your standard 31kHz monitor.
There was some guy selling one on Amibench a few days ago, might be still available? Or stick an add in the wanted column.
