So what happens is JamesWynn gets liquidated for 5000BTC?

Does it get partly sold and partly passed over to the HLP vault?