No, IBKR compensates the difference from 0.00 to settlement price - 37.63, as he was locked into his position below 0.01.
According to my calculation he will thus only lose around 4k.
"Interactive Brokers foresees refunding $18,815 for the Nymex ones and $37,630 for ICE’s, according to a...