File size for movies RX100

Hi there. Does anybody know what would be the the size of a 30 min clip at the highest quality setting for the RX100? I'm ordering a memory card and I'm thinking 32GB should be enough but a 2nd opinion would be appreciated.

Thanks in advance.