- Be the first person brave enough to use VRRP hack in production. It’s not pretty, but it seems to work.
But the right way is definitely option 2. ISP should give you static addresses. Preferably routed subnet, to give you maximum freedom in how you can use them.