Ah. We use a combination of Avocent DSR devices which don't require any agents on the servers - nice solution, but expensive, hardware based devices.
For a cheaper solution, we use RAdmin. Basic, but it works.
Never come across Funk Proxy. I'll check it out.