Dest "bought 5 lots of" "231P fly or a 132C fly", "neutral to SPX 3130", so I assume for each lot, he bought 3 SPX 3130 puts, sold 1 lower strike puts, say 3110 or 3120, and sold 2 higher strike puts, say, 3150.
Alternatively, he could have bought 3 SPX 3130 calls, sold 2 higher strike calls...