I think Juniper's answer to redundancy with the MX80s is to setup 2x MX80's and use routing protocols to switch over from one to the other. For a fully loaded box, it probably edges up on making an MX280 a better deal, but for the smaller software-limited MX80's I could see it being an ok deal.