RBK763S (AX4200) vs RBK763 (AX5400)

I am being offered a choice between the RBK763S which has AX4200 vs RBK763 which has AX5400.  I don't really know what the difference is.  I was told on reddit that these systems are the same and tha...