Migrate stand alone to cluster with new hardware

[Michou]

I currently have a 5200 (standalone on r81.10).

I am looking to utilize the same name/IP and replace this gateways with two 6500s on R81.10.

I just wanted to brain storm on the easiest way to accomplish this. 

Also, seems like this should be a common ask. Are there any Check Point guides for something like this?