What better tools might there be to provide proxy services for my LAN?

You should probably investigate using ipchains for firewall services and squid for proxy. They're both available with Red Hat Linux.