Why would you want a graphics card with only 4k? :-D
Ahem. Sorry. Back on track...
What you're talking about is a Mode Promotion utility. See Aminet. They're fine for native productivity apps, but generally awful for games, as they require native timings, etc. (This is based on experience from PicassoII and CV3D under CGX. You may have slightly better luck with your card under P96)
What I recommend is a monitor switchbox. You can grab one from most computer shops for ~$15 US. Downside to that is you'll need a VGA adaptor on the RGB port to make the connections, and it's a manual switch.
Anyone know any other solutions?