Looks good, couple of notes:

1) Use R77.20 on the new boxes which is a very good release instead of R77 vanilla

2) Because you won't be able to have a fully stateful failover (via the "fw fcu"...