Do you guys use OSPF with VRRP for router redundancy when the downstream router uses the OSPF router as default gateway and they dont participate in OSPF?
From a design perspective, I use VRRP to host a Virtual IP for subnets that contain hosts - servers, phones, PCs, etc. For router to router redundancy, I almost always use a routing protocol to connect routers.
The only exception to this is when using MikroTiks as an HA Firewall, then I typically use VRRP for the next hop to avoid asynchronous routing and breaking state.