[FoxwoodsFiend]

I hate 3-betting preflop with AA in general, but with stacks this deep I think it's mandatory.
With that said, once he checks the river I push all in. I find very few lags are willing to check the virtual nuts on the river because they've set up the image that they'll get called if they push.