Twelve Bytes Of Options

A capture of a connection to port 443 contains this segment. Only the TCP portion is shown, with byte offsets on the left.

0000  01 bb c3 f5 9a 17 4e 20  00 e2 4b 7c 80 12 fa f0
0010  4b 39 00 00 02 04 05 b4  01 03 03 07 04 02 00 00

Which reading of this segment is correct?

Byte 13 is 0x12, which sets URG and PSH.

Header is 32 bytes, so 12 bytes are options; flags are SYN and ACK; the peer is advertising 64240 bytes right now.

Header is 8 bytes and carries no options, so everything from offset 0x08 onward is payload.

The window scale option carries a shift of 7, so the real advertised window is $64240 \times 128 = 8222720$ bytes.