Hi,
Sorry but your comms guys are wrong about what OSPF is designed to do. It's not there to change the default gateway of a desktop or server. Use HSRP if you want to do that. OSPF is there to find the optimal/only path for a router.
You can potentially use a "default originate" but it's not intended for guest servers to learn defaults routes that way.